1～5件／全5件 セーフサーチ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,226（本体¥10,206）
  • Springer International Publishing AG（2014/05発売）
  • ポイント 102pt
  • 海外取次在庫
Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) （2004. X, 409 p. 23,5 cm）
  • 洋書

Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) （2004. X, 409 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Stefano Berardi, Mario Coppo and Ferruccio Damiani

  • ウェブストア価格 ¥12,697（本体¥11,543）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 115pt
  • 海外取次在庫
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) （2013）
  • 洋書

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) （2013）  Paperback,  言語：ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/01発売）
  • ポイント 102pt
  • 海外取次在庫
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) （2012. X, 251 p. 235 mm）
  • 洋書

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) （2012. X, 251 p. 235 mm）  Paperback

Herausgegeben von Beckert, Bernhard/ Damiani, Ferruccio/ Gurov, Dilian

  • ウェブストア価格 ¥11,683（本体¥10,621）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 106pt
  • 海外取次在庫
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proce
  • 洋書

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proce  Paperback

Damiani, Ferruccio (EDT)/ Dardha, Ornela (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer Nature Switzerland AG（2021/06発売）
  • ポイント 102pt
  • 海外取次在庫
1～5件／全5件
  •