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 |
Internet
Ver documento en líneaSistema de Bibliotecas de la Universidad de Costa Rica
Número de Clasificación: |
621.381.548 |
---|---|
Copia | Disponible |