Automated Reasoning with Analytic Tableaux and Related Methods : Tableaux 2005 (Lecture Notes in Computer Science)
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : Tableaux 2005 (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Beckert, Bernhard

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer Verlag(2005/11発売)
  • ポイント 97pt
  • 海外からお取り寄せ(通常6~9週間)
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,464(本体¥19,513)
  • Springer(2007/02発売)
  • ポイント 195pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥21,464(本体¥19,513)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 195pt
  • 海外取次在庫
Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Security and Cryptology)
  • 洋書

Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Beckert, Bernhard (EDT)

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 97pt
  • オンデマンド(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,730(本体¥9,755)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり

Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Security and Cryptology)  Paperback,  言語:ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Cortier, Veronique (EDT)

  • ウェブストア価格 ¥12,681(本体¥11,529)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 115pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません