Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science - De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) - Libros - Cambridge University Press - 9780521103503 - 18 de diciembre de 2008
En caso de que portada y título no coincidan, el título será el correcto

De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)
Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science

Precio
$ 82,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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:

Graduate text in formal methods in computer science.

436 pages, 18 b/w illus. 93 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de diciembre de 2008
ISBN13 9780521103503
Editores Cambridge University Press
Páginas 436
Dimensiones 229 × 151 × 27 mm   ·   660 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) ( Ej. Paperback Book y Hardcover Book )