Libro model checking software: 19th international spin workshop, oxford, uk, july 23-24, 2012. proceedings De Donaldson, Alastair ; Parker, David

portada model checking software: 19th international spin workshop, oxford, uk, july 23-24, 2012. proceedings

Formato

Libro Físico

Ilustrado por

David Parker

Alastair Donaldson

Editorial

Springer

Autor

Donaldson, Alastair ; Parker, David

Año

2012

Idioma

Inglés

N° páginas

261

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.2 x 1.5 cm

Peso

0.43 kg.

ISBN

3642317588

ISBN13

9783642317583

Categorías

Lenguajes de programación scripting

model checking software: 19th international spin workshop, oxford, uk, july 23-24, 2012. proceedings

David Parker (Ilustrado por) · Alastair Donaldson (Ilustrado por) · Springer · Tapa Blanda

Sin Stock

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre