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

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

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

  • Gnesi, Stefania,国内・海外在庫あり

    による検索結果
  • 1件〜8件（全8件）
書名
著者
出版社
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,386円

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

Fundamental Approaches to Software Engineering, 1

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

Herausgegeben von Gnesi, Stefania Rensink, Arend
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2014年 03月
装丁：PAP 言語：ENG 版次：2014. 2014. xvi
税込価格：

12,447円

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

Critical Systems

Formal Methods and Automated Verification

Lecture Notes in Computer Science .9933

Herausgegeben von ter Beek, Maurice H. Gnesi, Stefania Knapp, Alexander
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 09月
装丁：PAP 版次：1st ed. 2016. 2016. xiii
税込価格：

12,447円

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

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science .9995

Herausgegeben von Fitzgerald, John Heitmeyer, Constance Gnesi, Stefania
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 11月
装丁：PAP 版次：1st ed. 2016. 2016. xxiii
税込価格：

12,447円

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

Integrated Formal Methods

9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

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

Herausgegeben von Derrick, John Gnesi, Stefania Latella, Diego
出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XII
税込価格：

12,447円

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

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Lecture Notes in Computer Science 2805

Herausgegeben von Araki, Keijiro Gnesi, Stefania Mandrioli, Dion
出版社：Springer, Berlin 出版年月：2003年 00月
装丁：PAP 言語：ENG 版次：2003. XVII
税込価格：

24,897円

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

Requirements Engineering: Foundation for Software Quality

26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Lecture Notes in Computer Science 12045

Herausgegeben von Madhavji, Nazim Pasquale, Liliana Ferrari, Alessio
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：2020. 134 S. 38 SW-Abb.
税込価格：

12,447円

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

Abstract State Machines, Alloy, B, VDM, and Z

Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

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

Herausgegeben von Derrick, John Fitzgerald, John S. Gnesi, Stefania
出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XV
税込価格：

12,447円

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