Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bošnački, Dragan (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。