1～6件／全6件 セーフサーチON
  •  
Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)
  • 洋書

Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)  Paperback

de Boer, Frank (EDT)/ Damiani, Ferruccio (EDT)/ Hähnle, Reiner (EDT)

  • ウェブストア価格 ¥14,333（本体¥13,030）
  • Springer International Publishing AG（2024/01発売）
  • ポイント 130pt
  • 海外からお取り寄せ（通常6～9週間）
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発売）
  • ご注文いただけません
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,572（本体¥10,520）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 105pt
  • 海外取次在庫
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
  • 洋書

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

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/01発売）
  • ご注文いただけません
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)

  • ウェブストア価格 ¥10,730（本体¥9,755）
  • Springer Nature Switzerland AG（2021/06発売）
  • ポイント 97pt
  • 海外取次在庫
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,576（本体¥11,433）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 114pt
  • 海外取次在庫
1～6件／全6件
  •