The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

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

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 219pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Wir neuen Europäer : Ein Lesebuch (2017. 212 S. m. Illustr. u. Dok. 20 cm)
  • 洋書

Wir neuen Europäer : Ein Lesebuch (2017. 212 S. m. Illustr. u. Dok. 20 cm)  Paperback

OEren, Aras/ Herausgegeben:Fahrenholz, Sophie/Illustration:Neumann, Wolfgang

  • ウェブストア価格 ¥4,163(本体¥3,785)
  • VERBRECHER VERLAG(2017発売)
  • ポイント 37pt
  • 海外取次在庫