Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science - Bertrand Meyer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - 7 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Bertrand Meyer
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

574 pages, 1, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de julio de 2008
ISBN13 9783540691471
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 546
Dimensiones 155 × 235 × 29 mm   ·   839 g
Lengua Alemán  
Editor Meyer, Bertrand
Editor Woodcock, Jim

Mas por Bertrand Meyer

Mostrar todo

Ver todo de Bertrand Meyer ( Ej. Paperback Book y Hardcover Book )