Refinement : Semantics, Languages and Applications
  • 洋書

Refinement : Semantics, Languages and Applications  Paperback,  言語:ENG

Derrick, John/ Boiten, Eerke

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 104pt
  • 海外取次在庫
Refinement : Semantics, Languages and Applications
  • 洋書
  • 電子版あり

Refinement : Semantics, Languages and Applications  Hardcover

Derrick, John/ Boiten, Eerke

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Refinement in Z and Object-Z : Foundations and Advanced Applications (2ND)
  • 洋書

Refinement in Z and Object-Z : Foundations and Advanced Applications (2ND)  Paperback,  言語:ENG

Derrick, John/ Boiten, Eerke A.

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer London Ltd(2015/08発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)
  • 洋書

Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Eerke A. Boiten, John Derrick and Graeme Smith

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫