Pastāsti draugiem par šo preci:
Rigorous Software Development Jose Bacelar Almeida 2011 edition
Cena
€ 47,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 29. maijā - . gada 12. jūn.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Book |
| Izlaists | 2011. gada 7. janvāris |
| ISBN13 | 9780857290175 |
| Izdevēji | Springer London Ltd |
| Lapas | 307 |
| Izmēri | 155 × 235 × 15 mm · 390 g |
| Valoda | Angļu |
![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)