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 - 9780521641708 - 3 de diciembre de 1998
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
$ 172,99
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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 3 de diciembre de 1998
ISBN13 9780521641708
Editores Cambridge University Press
Páginas 436
Dimensiones 159 × 236 × 32 mm   ·   845 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 )