Recomienda este artículo a tus amigos:
Rigorous Software Development Jose Bacelar Almeida 2011 edition
Precio
€ 44,49
Pedido desde almacén remoto
Entrega prevista 19 - 28 de ene. de 2026
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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
| Medios de comunicación | Libros Book |
| Publicado | 7 de enero de 2011 |
| ISBN13 | 9780857290175 |
| Editores | Springer London Ltd |
| Páginas | 307 |
| Dimensiones | 155 × 235 × 15 mm · 390 g |
| Lengua | Inglés |
Mas por Jose Bacelar Almeida
Mostrar todo![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Book) [Second Edition 2025 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)
Más de esta serie
Ver todo de Jose Bacelar Almeida ( Ej. Book y Paperback Book )