25 Years of model checking : history, achievements, perspectives /
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
New York :
Springer,
c2008.
|
| Colección: | Lecture Notes in Computer Science / Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
5000 |
| Materias: | |
| Acceso en línea: | Ver documento en línea |
| Notas: | Impreso en Alemania |
|---|---|
| Descripción Física: | 1 recurso en línea (vi, 230 páginas) : ilustraciones a color, fotografías a color, gráficos a color, archivo de texto, PDF. |
| ISBN: | 9783540698500 9783540698494 |
| Acceso: | Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional |