1～4件／全4件 セーフサーチON
  •  
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science)
  • 洋書

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

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ご注文いただけません
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 (Lecture Notes in Computer Sc
  • 洋書

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 (Lecture Notes in Computer Sc  Paperback,  言語：ENG

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

  • Springer International Publishing AG（2014/05発売）
  • ご注文いただけません
Verification of Object-Oriented Software : The Key Approach (Lecture Notes in Computer Science) 〈Vol. 4334〉
  • 洋書

Verification of Object-Oriented Software : The Key Approach (Lecture Notes in Computer Science) 〈Vol. 4334〉  Paperback,  言語：ENG

Beckert, Bernhard (EDT)/ Hähnle, Reiner (et al., EDT)

  • ウェブストア価格 ¥20,917（本体¥19,016）
  • Springer（2007/02発売）
  • ポイント 190pt
  • 海外取次在庫
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～4件／全4件
  •