Model checking /

Annotation.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Autor), Grumberg, Orna (Autor), Peled, Doron A., 1962- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©1999.
Temas:
Computer systems > Verification.
Logiciels > Vérification.
Systèmes informatiques > Vérification.
COMPUTERS > Software Development & Engineering > Systems Analysis & Design.
Model Checking
Datenverarbeitungssystem
Computersystemen.
Modellen (theorie)
Verificatie.
Verificação e validação de software.
Engenharia de software.
Engineering & Applied Sciences.
Computer Science.
Acceso en línea:Texto completo
Descripción
Sumario:Annotation.
Descripción Física:1 online resource (xiv, 314 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 297-307) and index.
ISBN:0585385580
9780585385587
9780262270458
0262270455
0262292742
9780262292740
0262032708
9780262032704

Ejemplares similares