Sortiert nach
1. [Dr.], 1991
Signatur: YGQ3137
4., überarb. und aktualisierte Aufl, 2010
Signatur: TWZ3563(4)
2., überarb. und aktualisierte Aufl, 2008
Signatur: TWQ12143(2)
2., aktualisierte und erw. Aufl, 2002
Signatur: TWZ3220(2)
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
- Testen
- Software
- Software engineering
- Computer science
- Logic design
- Softwareentwicklung
- Formale Methode
- Model Checking
- Qualitätssicherung
- Computer Communication Networks
- Information Systems
- Softwaretest
- Verifikation
- Operating systems (Computers)
- Anwendungssystem
- Formale Spezifikationstechnik
- Leistungsbewertung
- Qualitätsmanagement
- Rechnernetz
- Verteiltes System
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts