FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)  Paperback

Fitzgerald, John (EDT)/ Heitmeyer, Constance (EDT)/ Gnesi, Stefania (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation
  • 洋書

Collaborative Design for Embedded Systems : Co-modelling and Co-simulation  Hardcover,  言語:ENG

Fitzgerald, John (EDT)/ Larsen, Peter Gorm (EDT)/ Verhoef, Marcel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ポイント 101pt
  • 海外取次在庫
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)
  • 洋書

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Fitzgerald, John S./ Gnesi, Stefania/ Khurshid, Sarfraz/ Leuschel, Michael

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 114pt
  • 海外取次在庫