この商品を友人に教える:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Krzysztof R. Apt Softcover reprint of hardcover 3rd ed. 2009 edition
価格
SFr. 67,49
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Verification of Sequential and Concurrent Programs - Texts in Computer Science
Krzysztof R. Apt
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2012年3月14日 |
| ISBN13 | 9781447125136 |
| 出版社 | Springer London Ltd |
| ページ数 | 502 |
| 寸法 | 156 × 233 × 28 mm · 730 g |
| 言語 | 英語 |
| 寄稿者 | Amir Pnueli |
