Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algebra 1 Treffer
- Endlicher Automat 1 Treffer
- Informatik 1 Treffer
- Mathematische Logik 1 Treffer
- Model Checking 1 Treffer
-
12 weitere Werte:
- Numerische Mathematik 1 Treffer
- Programmierung 1 Treffer
- Programmverifikation 1 Treffer
- Reaktives System 1 Treffer
- Software 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarespezifikation 1 Treffer
- Testen 1 Treffer
- Testmustergenerierung 1 Treffer
- Transitionssystem 1 Treffer
- Verfeinerung 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
4 Treffer
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: