-

-
From Programs to Systems - The Systems Perspective in Computing
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8415
-
Herausgegeben von Bensalem, Saddek
Lakhneck, Yassine
Legay, Axel
-
出版社:Springer, Berlin; Springer Berlin Heidelberg
出版年月:2014年 03月
装丁:PAP
言語:ENG
版次:2014. 2014. xii
-
税込価格:
11,317円
海外在庫あり
通常2~5週間で出荷
-

-
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8174
-
Herausgegeben von Legay, Axel
Bensalem, Saddek
-
出版社:Springer, Berlin
出版年月:2013年 08月
装丁:PAP
版次:2013. xvii
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷
-

-
Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Lecture Notes in Computer Science 11181
-
Herausgegeben von Atig, Mohamed Faouzi
Bensalem, Saddek
Bliudze, Simon
-
出版社:Springer, Berlin; Springer International Publishing;
出版年月:2018年 00月
装丁:PAP
言語:ENG
版次:2018. xiv
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷