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

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

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

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

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

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

23,713円

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

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

11,853円

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

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

11,853円

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

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

11,853円

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

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

10,907円

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

SOFSEM 2015

Theory and Practice of Computer Science

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

Herausgegeben von Italiano, Giuseppe Margaria-Steffen, Tiziana Pokorn&yacute
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2015年 01月
装丁：PAP 版次：2015. 2015. xvi
税込価格：

11,853円

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

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

11,853円

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

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
出版社：Springer, Berlin; Springer 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XIII
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Lecture Notes in Computer Science .11244

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

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Lecture Notes in Computer Science 11245

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

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Lecture Notes in Computer Science 11247

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

11,853円

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

Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science .11200

Herausgegeben von Margaria, Tiziana Graf, Susanne Larsen, Kim G.
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 版次：1st ed. 2019. 2019. xv
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Lecture Notes in Computer Science 11246

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

11,853円

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

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

11,853円

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

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

11,853円

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

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

11,853円

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