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

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

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

  • Herausgegeben:Margaria, Tiziana,国内・海外在庫あり

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Lecture Notes in Computer Science 13701

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

20,042円

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

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Lecture Notes in Computer Science 13703

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

16,502円

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science 13704

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

15,324円

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Lecture Notes in Computer Science 13702

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

16,502円

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

Leveraging Applications of Formal Methods, Verification and Validation

Engineering Principles

Lecture Notes in Computer Science 12477

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020 2020 xv
税込価格：

11,787円

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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola

Lecture Notes in Computer Science 15219

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xv
税込価格：

17,447円

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Lecture Notes in Computer Science 15221

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. xvii
税込価格：

17,447円

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Lecture Notes in Computer Science 15222

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. xi
税込価格：

15,560円

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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Lecture Notes in Computer Science 15223

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. xi
税込価格：

11,787円

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

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Syst

Lecture Notes in Computer Science 15220

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. xi
税込価格：

15,560円

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

Leveraging Applications of Formal Methods, Verification and Validation

Verification Principles

Lecture Notes in Computer Science 12476

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020 2020 xxiii
税込価格：

20,042円

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

Leveraging Applications of Formal Methods, Verification and Validation

Applications

Lecture Notes in Computer Science 12478

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020 2020 xv
税込価格：

11,787円

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

Leveraging Applications of Formal Methods, Verification and Validation

Tools and Trends

Lecture Notes in Computer Science 12479

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. xii
税込価格：

11,787円

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