Vertel uw vrienden over dit artikel:
Rigorous Software Development Jose Bacelar Almeida 2011 edition
Prijs
€ 45,49
Besteld in een afgelegen magazijn
Verwachte levering 29 mei - 12 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Book |
| Vrijgegeven | 7 januari 2011 |
| ISBN13 | 9780857290175 |
| Uitgevers | Springer London Ltd |
| Pagina's | 307 |
| Afmetingen | 155 × 235 × 15 mm · 390 g |
| Taal en grammatica | Engels |
![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)