Artículos relacionados a The Calculus of Computation : Decision Procedures with...

The Calculus of Computation : Decision Procedures with Applications to Verification [Paperback] - Tapa blanda

 
9788184893960: The Calculus of Computation : Decision Procedures with Applications to Verification [Paperback]
Tapa blanda
ISBN 10: 8184893965 ISBN 13: 9788184893960

Esta edición ISBN ya no está disponible.

Idioma
Inglés
ISBN 10 
8184893965
ISBN 13 
9788184893960
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540741121: The Calculus of Computation: Decision Procedures with Applications to Verification

Edición Destacada

ISBN 10:  3540741127 ISBN 13:  9783540741121
Editorial: Springer, 2007
Tapa dura