Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Schlagwort
- Programmverifikation 3 Treffer
- Softwareentwicklung 3 Treffer
- Theoretische Informatik 3 Treffer
- Algebraische Spezifikation 2 Treffer
- Formale Methode 2 Treffer
-
17 weitere Werte:
- Programmanalyse 2 Treffer
- Programmierung 2 Treffer
- Systementwicklung 2 Treffer
- Typentheorie 2 Treffer
- Automatisches Beweisverfahren 1 Treffer
- CAD 1 Treffer
- Computeralgebra 1 Treffer
- Formale Sprache 1 Treffer
- Logische Programmierung 1 Treffer
- Model Checking 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programmierparadigma 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Software 1 Treffer
- Testen 1 Treffer
- Verifikation 1 Treffer
Form
Person
10 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: