An edition of Model checking (1999)
Model Checking
By Edmund M. Clarke Jr.,Orna Grumberg,Doron A. Peled
0 (0 Ratings)
4 Want to read1 Currently reading0 Have read
4 Want to read1 Currently reading0 Have read
Publish Date
January 7, 1999
Publisher
The MIT Press
Language
eng
Pages
377
Description:
subjects: Datenverarbeitungssystem, Computersystemen, Engenharia de software, Modellen, Verificação e validação de software, Vérification, Model Checking, Verification, Logiciels, Computer systems, Verificatie, Operating systems (computers), Computer software, verification, COMPUTERS, Software Development & Engineering, Systems Analysis & Design, Modellen (theorie), Engineering & Applied Sciences, Computer Science, Sat (educational test), Models and modelmaking