全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Legay, Axel,国内・海外在庫あり

    による検索結果
  • 1件〜11件（全11件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science .9938

Herausgegeben von Artho, Cyrille Legay, Axel Peled, Doron
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 09月
装丁：PAP 版次：1st ed. 2016. 2016. xi
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Modeling and Analysis of Timed Systems

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8711

Herausgegeben von Legay, Axel Bozga, Marius
出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 08月
装丁：PAP 版次：2014. 2014. x
税込価格：

11,826円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8244

Herausgegeben von Bertacco, Valeria Legay, Axel
出版社：Springer, Berlin; Springer International Publishing 出版年月：2013年 10月
装丁：PAP 版次：2013. 2013. xx
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

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,826円

海外在庫あり 通常２～５週間で出荷
書籍表紙

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
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science .10205

Herausgegeben von Legay, Axel Margaria, Tiziana
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xxiv
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science .10206

Herausgegeben von Legay, Axel Margaria, Tiziana
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xxiv
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

Lecture Notes in Computer Science 11636

Herausgegeben von Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. x
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Risks and Security of Internet and Systems

11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Lecture Notes in Computer Science .10158

Herausgegeben von Cuppens, Fr&eacute d&eacute ric
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. viii
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Risks and Security of Internet and Systems

12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science 10694

Herausgegeben:Cuppens, Nora Cuppens, Fr&eacute d&eacute
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 版次：1st ed. 2018. 2018. x
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science .10460

Herausgegeben von Aceto, Luca Bacci, Giorgio Bacci, Giovanni
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xvii
税込価格：

12,318円

海外在庫あり 通常２～５週間で出荷