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

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

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

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

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

Formal Methods for Industrial Critical Systems

A Survey of Applications
Gnesi, Stefania Margaria, Tiziana
出版社：IEEE Computer Society 出版年月：2013年 03月
装丁：PAP 言語：ENG
税込価格：

22,251円

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Lecture Notes in Computer Science .9952

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xxiii
税込価格：

24,640円

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

Leveraging Applications of Formal Methods, Verification and Validation

Discussion, Dissemination, Applications

Lecture Notes in Computer Science .9953

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xxiv
税込価格：

12,318円

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

Software Business. From Physical Products to Software Services and Solutions

4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013, Proceedings

Lecture Notes in Business Information Processing .150

Herausgegeben von Herzwurm, Georg Tiziana, Margaria
出版社：Springer, Berlin 出版年月：2013年 07月
装丁：PAP 版次：2013. 2013. xiii
税込価格：

11,334円

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

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Lecture Notes in Computer Science 13036

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

17,246円

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2014年 10月
装丁：PAP 版次：2014. 2014. xviii
税込価格：

12,318円

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2014年 10月
装丁：PAP 版次：2014. 2014. xviii
税込価格：

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円

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

Semantic Web Services Challenge

Results from the First Year

Semantic Web and Beyond

Petrie, Charles Margaria, Tiziana (EDT) Lausen, Holger
出版社：Springer 出版年月：2010年 02月
装丁：PAP 言語：ENG
税込価格：

36,962円

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

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Lecture Notes in Computer Science 14390

Herausgegeben:Kofron, Jan Margaria, Tiziana Seceleanu, Cristina
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2024. 2024. xi
税込価格：

16,016円

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

Leveraging Applications of Formal Methods, Verification, and Validation

Communications in Computer and Information Science .336

Herausgegeben von Haehnle, Reiner Knoop, Jens Margaria, Tiziana
出版社：Springer, Berlin; Springer 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. 272 S. 235 mm
税込価格：

12,318円

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

Leveraging Applications of Formal Methods, Verification and Validation

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard Merten, Maik
出版社：Springer, Berlin; Springer 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XIII
税込価格：

12,318円

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

Leveraging Applications of Formal Methods, Verification and Validation

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard Merten, Maik
出版社： 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XIII
税込価格：

12,318円

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