1～3件／全3件 セーフサーチON
  •  
Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Atig, Mohamed Faouzi (EDT)/ Bensalem, Saddek (EDT)/ Bliudze, Simon (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer Nature Switzerland AG（2018/08発売）
  • ポイント 102pt
  • 海外取次在庫
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) （2013）
  • 洋書

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) （2013）  Paperback,  言語：ENG

Legay, Axel (EDT)/ Bensalem, Saddek (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 102pt
  • 海外取次在庫
From Programs to Systems - the Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) （2014）
  • 洋書

From Programs to Systems - the Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Bensalem, Saddek (EDT)/ Lakhnech, Yassine (EDT)/ Legay, Axel (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ご注文いただけません
1～3件／全3件
  •