Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science : An EATCS Series)

  • ポイントキャンペーン

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science : An EATCS Series)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版／ページ数 480 p.
  • 商品コード 9783642173356

Full Description

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.

最近チェックした商品

ベアグラウンド／「おかあさんといっしょ」ファミリーコンサート　～みちのみち～
  • CD
ベアグラウンド／「おかあさんといっしょ…
セクシャルダイナマイトヒロイン２３　バトル・オブ・デス　国際犯罪捜査官メイファー編
  • DVD
セクシャルダイナマイトヒロイン２３　バ…
国立がんセンターでなぜガンは治らない？ - 闇に葬られた改革 文春新書
  • 和書
国立がんセンターでなぜガンは治らない？…
来訪者誘致とイベントにおける立地の重要性<br>Visitor Attractions and Events : Locations and linkages (Routledge Advances in Event Research Series)
  • 洋書
来訪者誘致とイベントにおける立地の重要…
Landeskarte der Schweiz Solothurn : Biel - Bucheggberg - Burgdorf. Wanderkarte. 1 : 50.000 (Landeskarte der Schweiz Bl.233T) （2008）
  • 洋書
Landeskarte der Sch…