25 Years of model checking : history, achievements, perspectives /

25 Years of model checking : history, achievements, perspectives /

Bibliographic Details
Other Authors: Grumberg, Orna (Editor/a), Veit, Helmut (Editor/a)
Format: Book
Language:English
Published: New York : Springer, c2008.
Series:Lecture Notes in Computer Science / Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen 5000
Subjects:
VERIFICACION DE CIRCUITOS INTEGRADOS > HISTORIA > ENSAYOS, CONFERENCIAS, ETC.
ANALISIS DE SISTEMAS
INGENIERÍA DE SISTEMAS
ALGORITMOS (COMPUTADORAS) > EVALUACION
Online Access:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Call Number: 621.381.548
Copy Available

Similar Items