Name: Symbolic Model Checking (en Inglés)
Price: 90.14 EUR
Availability: InStock
Author: Kenneth L. Mcmillan
ISBN: 9780792393801

Selecciona tu país

América

Europa

Resto del mundo

portada Symbolic Model Checking (en Inglés)

Formato

Libro Físico

Editorial

Kluwer Academic

Autor

Kenneth L. Mcmillan

Idioma

Inglés

N° páginas

194

Encuadernación

Tapa Dura

ISBN13

9780792393801

N° edición

Symbolic Model Checking (en Inglés)

Kenneth L. Mcmillan (Autor) · Kluwer Academic · Tapa Dura

Libro Nuevo Importado

Envío: 11 a 16 días háb.

100,16 €90,14 €

-10%

Libro Nuevo

Quedan más de 100 unidades

90,14 €

Llega entre el 14 Ago y el 25 Ago a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Symbolic Model Checking (en Inglés)"

Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.

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 y respuestas sobre el libro

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

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Symbolic Model Checking (en Inglés) - Kenneth L. Mcmillan

Reseña del libro "Symbolic Model Checking (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

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

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre