Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)  Paperback,  言語:ENG

Bartocci, Ezio (EDT)/ Falcone, Yliès (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 600pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Leucker, Martin (EDT)/ Rueda, Camilo (EDT)/ Valencia, Frank D. (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 550pt
  • 海外取次在庫
Formal Methods: Applications and Technology; 11th International Workshop, Fmics 2006 and 5th International Workshop, Pdmc 2006 Bonn, Germany, August 26-27, and August 31, 2006 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4346. (
  • 洋書
  • ポイントキャンペーン

Formal Methods: Applications and Technology; 11th International Workshop, Fmics 2006 and 5th International Workshop, Pdmc 2006 Bonn, Germany, August 26-27, and August 31, 2006 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4346. (  言語:ENG

Brim, Lubo (EDT)/ Haverkort, Boudewijn (EDT)/ Leucker, Martin (EDT)

  • Springer(2007/01発売)
  • ご注文いただけません
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Chechik, Marsha (EDT)/ Katoen, Joost-Pieter (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 1,105pt
  • 海外取次在庫
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Colombo, Christian (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 850pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。