1～4件／全4件 セーフサーチON
  •  
Handbook of Model Checking （1st ed. 2018）
  • 洋書

Handbook of Model Checking （1st ed. 2018）  Hardcover

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,626（本体¥36,024）
  • Springer, Berlin; Springer（2018発売）
  • ポイント 360pt
  • 海外からお取り寄せ（通常6～9週間）
Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Switzerland, 2011. Proceedings, Part I (Lecture Notes in Computer Science) 〈Vol. 6755〉
  • 洋書

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Switzerland, 2011. Proceedings, Part I (Lecture Notes in Computer Science) 〈Vol. 6755〉  Paperback

Aceto, L. (EDT)/ Henzinger, M. (EDT)

  • ウェブストア価格 ¥28,304（本体¥25,731）
  • Springer（2011発売）
  • ポイント 257pt
  • 海外取次在庫
Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Switzerland, 2010. Proceedings, Part II (Lecture Notes in Computer Science) 〈Vol. 6756〉
  • 洋書

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Switzerland, 2010. Proceedings, Part II (Lecture Notes in Computer Science) 〈Vol. 6756〉  Paperback

Aceto, L. (EDT)/ Henzinger, M. (EDT)

  • ウェブストア価格 ¥28,304（本体¥25,731）
  • Springer（2011発売）
  • ポイント 257pt
  • 海外取次在庫
Handbook of Model Checking, m. 2 Buch （Softcover reprint of the original 1st ed. 2018）
  • 洋書

Handbook of Model Checking, m. 2 Buch （Softcover reprint of the original 1st ed. 2018）  Paperback

Clarke, Edmund M.EDT/ Henzinger, Thomas A.EDT/ Veith, HelmutEDT

  • ウェブストア価格 ¥39,626（本体¥36,024）
  • Springer, Berlin; Springer（2020発売）
  • ポイント 360pt
  • 海外からお取り寄せ（通常6～9週間）
1～4件／全4件
  •