Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - 書籍 - Springer London Ltd - 9781848827448 - 2009年10月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

価格
CA$ 146,99
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月18日 - 年12月30日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

他の形態でも入手可能：

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

502 pages, 26 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2009年10月5日
ISBN13 9781848827448
出版社 Springer London Ltd
ページ数 502
寸法 167 × 237 × 32 mm   ·   911 g
言語 英語  
寄稿者 Amir Pnueli
すべて表示

Krzysztof R. Aptの他の作品を見る

Krzysztof R. Aptのすべてを見る ( 例： Hardcover Book および Paperback Book )