Datenbank-Auswahl ändern
Treffer eingrenzen
-
Schlagwort
- Automatisches Beweis… (1)
- Formale Methode (1)
- Softwareentwicklung (1)
- Systementwicklung (1)
- Testen (1)
- Mehr anzeigen …
-
Sprache
- Englisch (1)
-
Dokumenttyp
- Begrenzte Elektronis… (1)
- Computerdatei (1)
- Elektronische Ressource (1)
- Konferenzschrift (1)
- Monografie (1)
- Mehr anzeigen …
-
Verfasser
- Badger, Julia M. (1)
- Institution