ZB 2003, Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science Vol.2651) (2003. XIII, 547 S. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

ZB 2003, Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science Vol.2651) (2003. XIII, 547 S. 23,5 cm)  Paperback,  言語:ENG

Ed. by Marina Walden, Didier Bert, Steve King et al.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 508pt
  • 海外取次在庫