Artículos relacionados a [(Model Checking Software: 20th International Symposium,...

[(Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings )] [Author: Ezio Bartocci] [Jul-2013] - Tapa blanda

 
9783642391774: [(Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings )] [Author: Ezio Bartocci] [Jul-2013]
Tapa blanda
ISBN 10: 364239177X ISBN 13: 9783642391774

Esta edición ISBN ya no está disponible.

Idioma
Inglés
ISBN 10 
364239177X
ISBN 13 
9783642391774
Encuadernación
Copertina flessibile
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

9783642391750: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings: 7976 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3642391753 ISBN 13:  9783642391750
Editorial: Springer, 2013
Tapa blanda