Time for Verification: Essays in Memory of Amir Pnueli - Theoretical Computer Science and General Issues - Zohar Manna - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642137532 - 30 de junio de 2010
En caso de que portada y título no coincidan, el título será el correcto

Zohar Manna
Time for Verification: Essays in Memory of Amir Pnueli - Theoretical Computer Science and General Issues 2010 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Zohar Manna

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ún no valorado

This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.

421 pages, 113 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de junio de 2010
ISBN13 9783642137532
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 413
Dimensiones 155 × 234 × 23 mm   ·   612 g
Editor Manna, Zohar
Editor Peled, Doron A.

Mas por Zohar Manna

Mostrar todo

Más del mismo editor

Ver todo de Zohar Manna ( Ej. Paperback Book y Hardcover Book )