The Temporal Logic of Reactive and Concurrent Systems : Specification
  • 洋書

The Temporal Logic of Reactive and Concurrent Systems : Specification  Paperback,  言語:ENG

Manna, Zohar/ Pnueli, Amir

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag New York Inc.(2012/10発売)
  • ポイント 110pt
  • 海外取次在庫
Temporal Verification of Reactive Systems : Safety
  • 洋書

Temporal Verification of Reactive Systems : Safety  Paperback,  言語:ENG

Manna, Zohar/ Pnueli, Amir

  • ウェブストア価格 ¥26,524(本体¥24,113)
  • Springer-Verlag New York Inc.(2012/08発売)
  • ポイント 241pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hybrid Systems : Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proceedings (Lecture Notes
  • 洋書

Hybrid Systems : Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proceedings (Lecture Notes  Paperback,  言語:ENG

Wiedijk, Freek/ Maler, Oded/ Pnueli, Amir/ Hscc 200 (2003 Prague, Czec

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer Verlag(2003/03発売)
  • ポイント 221pt
  • 海外取次在庫