SPIN Model Checker, the : Primer and Reference Manual
  • 洋書

SPIN Model Checker, the : Primer and Reference Manual  Paperback,  言語:ENG

Holzmann, Gerard

  • ウェブストア価格 ¥15,389(本体¥13,990)
  • Addison-Wesley Educational Publishers Inc(2011/06発売)
  • ポイント 139pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (2015)
  • 洋書

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (2015)  Paperback

Havelund, Klaus (EDT)/ Holzmann, Gerard (EDT)/ Joshi, Rajeev (EDT)

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