• Herausgegeben von Bensalem, Saddek,国内・海外在庫あり

    による検索結果
  • 1件〜3件(全3件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

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週間で出荷