Fortell venner om denne varen:
Rigorous Software Development Jose Bacelar Almeida 2011 edition
Pris
NOK 469
Bestillingsvarer
Forventes levert 28. mai - 11. jun
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Bok |
| Utgitt | 7. januar 2011 |
| ISBN13 | 9780857290175 |
| Utgivere | Springer London Ltd |
| Antall sider | 307 |
| Mål | 155 × 235 × 15 mm · 390 g |
| Språk | Engelsk |
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1759173936)