Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) - J. Bicarregui - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540198130 - 1993年12月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

J. Bicarregui
Proof in Vdm: a Practitioner's Guide - Formal Approaches to Computing & Information Technology (Facit) Softcover Reprint of the Original 1st Ed. 1994 edition

価格
¥ 10.760
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月13日 - 年8月31日
J. Bicarregui の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.

378 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年12月1日
ISBN13 9783540198130
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 378
寸法 155 × 235 × 20 mm   ·   530 g
言語 英語  

同じ出版社からのその他の記事

J. Bicarreguiのすべてを見る ( 例： Paperback Book )