1～3件／全3件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016,
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016,  Paperback

Chechik, Marsha (EDT)/ Raskin, Jean-François (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2016/04発売）
  • ポイント 104pt
  • 海外取次在庫
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Blazy, Sandrine (EDT)/ Chechik, Marsha (EDT)

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

  • ウェブストア価格 ¥22,919（本体¥20,836）
  • Springer International Publishing AG（2023/03発売）
  • ポイント 208pt
  • 海外取次在庫
1～3件／全3件
  •