Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Libros - Springer-Verlag New York Inc. - 9781461365792 - 5 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Robert Kurshan
Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Softcover Reprint of the Original 1st Ed. 1993 edition

Precio
$ 158,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 de jul.

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

También disponible como:

142 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de octubre de 2012
ISBN13 9781461365792
Editores Springer-Verlag New York Inc.
Páginas 142
Dimensiones 155 × 235 × 8 mm   ·   222 g
Lengua Inglés  
Editor Kurshan, Robert

Mere med samme udgiver

Ver todo de Robert Kurshan ( Ej. Hardcover Book y Paperback Book )