Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science - Jose Bacelar Almeida - Libros - Springer London Ltd - 9781447175575 - 26 de julio de 2026
En caso de que portada y título no coincidan, el título será el correcto

Jose Bacelar Almeida
Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science Second Edition 2026 edition

Precio
$ 116,49
sin IVA
Entrega prevista 3 - 6 de ago. de 2026

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Pendiente de lanzamiento 26 de julio de 2026
ISBN13 9781447175575
Editores Springer London Ltd
Páginas 290
Dimensiones 150 × 220 × 10 mm   ·   581 g   (Peso (estimado))

Ver todo de Jose Bacelar Almeida ( Ej. Book y Paperback Book )