The Way of Z: Practical Programming with Formal Methods - Jacky, Jonathan (University of Washington) - 書籍 - Cambridge University Press - 9780521559768 - 1996年11月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jacky, Jonathan (University of Washington)
The Way of Z: Practical Programming with Formal Methods

価格
¥ 15.797
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月2日 - 年11月12日
Jacky, Jonathan (University of Washington) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.

372 pages, Illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年11月28日
ISBN13 9780521559768
出版社 Cambridge University Press
ページ数 372
寸法 299 × 194 × 27 mm   ·   668 g
言語 英語  

Jacky, Jonathan (University of Washington)の他の作品を見る

すべて表示

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

Jacky, Jonathan (University of Washington)のすべてを見る