この商品を友人に教える:
Rigorous Software Development Jose Bacelar Almeida 2011 edition
価格
¥ 7.979
税抜
遠隔倉庫からの取り寄せ
発送予定日 年6月2日 - 年6月18日
iMusicのウィッシュリストに追加
Rigorous Software Development
Jose Bacelar Almeida
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
276 pages, 52 black & white illustrations, biography
| メディア | 書籍 Book |
| リリース済み | 2011年1月7日 |
| ISBN13 | 9780857290175 |
| 出版社 | Springer London Ltd |
| ページ数 | 307 |
| 寸法 | 155 × 235 × 15 mm · 390 g |
| 言語 | 英語 |
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1759173936)