Logics of Specification Languages (Monographs in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Logics of Specification Languages (Monographs in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Bjrner, Dines/ Henson, Martin C.

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer(2010/11発売)
  • ポイント 324pt
  • 海外取次在庫
Software Engineering 3 : Domains, Requirements, and Software Design
  • 洋書

Software Engineering 3 : Domains, Requirements, and Software Design  Paperback,  言語:ENG

Bjrner, Dines

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer(2010/02発売)
  • ポイント 228pt
  • 海外取次在庫
Software Engineering 2 : Specification of Systems and Languages (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Software Engineering 2 : Specification of Systems and Languages (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Bjrner, Dines

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2010/02発売)
  • ポイント 104pt
  • 海外取次在庫
Software Engineering 1 : Abstraction and Modelling (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Software Engineering 1 : Abstraction and Modelling (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Bjrner, Dines

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer(2010/02発売)
  • ポイント 190pt
  • 海外取次在庫