Refine your search
Availability
-
Authors
- Abrial, Jean-Raymond (1)
- Broy, M. (1)
- Clarke, Edmund M. (1)
- Grumberg, Orna (1)
- Irlbeck, Maximilian (1)
- Kalus, Georg (1)
- Kenning, Waylon (1)
- Peled, Doron (1)
- Peled, Doron A. (2)
- Pretschner, Alexande... (1)
- Show more
- Show less
-
Collections
- E-Books EBSCO (5)
-
Home libraries
-
Item types
- Electronic-Books (5)
-
Series
-
Topics
- B method (Computer s... (1)
- Computer science (1)
- Computer Science (1)
- Computer software (2)
- Computer systems (5)
- COMPUTERS (5)
- Datenverarbeitungssy... (1)
- Engenharia de softwa... (1)
- Engineering & Applie... (1)
- Formal methods (Comp... (1)
- Identification (1)
- Informatique (1)
- Logiciels (3)
- Logiciels libres (1)
- Model Checking (1)
- Online identities (1)
- Open source software (1)
- Systèmes informatiqu... (5)
- Verificatie (1)
- Verificação e valida... (1)
- Show more
- Show less