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)

  • ウェブストア価格 ¥13,839(本体¥12,581)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 125pt
  • 海外からお取り寄せ(通常6~9週間)
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bennaceur, Amel (EDT)/ Hähnle, Reiner (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥12,520(本体¥11,382)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)  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 (Programming and Software Eng
  • 洋書

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  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)

  • ウェブストア価格 ¥21,190(本体¥19,264)
  • Springer(2007/02発売)
  • ポイント 192pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Theoretic
  • 洋書

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Theoretic  Paperback,  言語:ENG

Hähnle, Reiner (EDT)/ van der Aalst, Wil (EDT)

  • ウェブストア価格 ¥11,557(本体¥10,507)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 105pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥10,594(本体¥9,631)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 96pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。