1～3件／全3件 セーフサーチON
  •  
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng （2014）
  • 洋書

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng （2014）  Paperback,  言語：ENG

Bernardo, Marco (EDT)/ Damiani, Ferruccio (EDT)/ Haehnle, Reiner (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2014/05発売）
  • ポイント 101pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) （2013）
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,135（本体¥9,214）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 92pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) （2012. 2012. 272 S. 235 mm）
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) （2012. 2012. 272 S. 235 mm）  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER（2012発売）
  • ご注文いただけません
1～3件／全3件
  •