1～3件／全3件 セーフサーチON
  •  
Provably Correct Systems (Nasa Monographs in Systems and Software Engineering)
  • 洋書

Provably Correct Systems (Nasa Monographs in Systems and Software Engineering)  Paperback,  言語：ENG

Hinchey, Mike (EDT)/ Bowen, Jonathan P. (EDT)/ Olderog, Ernst-Rüdiger (EDT)

  • ウェブストア価格 ¥25,538（本体¥23,217）
  • Springer International Publishing AG（2018/05発売）
  • ポイント 232pt
  • 海外からお取り寄せ（通常6～9週間）
Real-Time Systems : Formal Specification and Automatic Verification
  • 洋書

Real-Time Systems : Formal Specification and Automatic Verification  Hardcover,  言語：ENG

Olderog, Ernst-Rüdiger/ Dierks, Henning

  • ウェブストア価格 ¥24,536（本体¥22,306）
  • Cambridge University Press（2008/09発売）
  • ポイント 223pt
  • 海外取次在庫
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback

Olderog, Ernst-Rüdiger (EDT)/ Steffen, Bernhard (EDT)/ Yi, Wang (EDT)

  • ウェブストア価格 ¥15,471（本体¥14,065）
  • Springer Nature Switzerland AG（2021/11発売）
  • ポイント 140pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •