Imaxe de Portada

Summary goes here

Gardado en:
Detalles Bibliográficos
Formato: Libro
Idioma:inglés
Subjects:
Computer systems
Logiciels
COMPUTERS
Computersystemen.
Modellen (theorie)
Verificatie.
Verificação e validação de software.
Engenharia de software.
Model Checking
Datenverarbeitungssystem
Electronic books.
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Summary:Summary goes here
descrición da copia:General Notes
Descrición Física:1 online resource (xiv, 314 pages) :illustrations
ISBN:0585385580
9780585385587
9780262270458
0262270455