Refine your search
Availability
-
Authors
- Clarke, Edmund M. (1)
- Grumberg, Orna (1)
- MacKenzie, Donald A. (1)
- Peled, Doron A. (1)
-
Collections
- E-Books EBSCO (2)
-
Home libraries
-
Item types
- Electronic-Books (2)
-
Series
-
Topics
- Automatische bewijsv... (1)
- Betrouwbaarheid (1)
- Bewijstheorie (1)
- Computer Science (2)
- Computer systems (2)
- COMPUTERS (2)
- Computers and civili... (1)
- Computersystemen (2)
- Datenverarbeitungssy... (1)
- Engenharia de softwa... (1)
- Engineering & Applie... (2)
- Logiciels (1)
- Model Checking (1)
- Modellen (theorie) (1)
- Ordinateurs et civil... (1)
- Systèmes informatiqu... (2)
- Verificatie (2)
- Verificação e valida... (1)
- Show more
- Show less