Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmverifikation 3 Treffer
- Softwareentwicklung 3 Treffer
- Theoretische Informatik 3 Treffer
- Algebraische Spezifikation 2 Treffer
- Formale Methode 2 Treffer
-
20 weitere Werte:
- Formale Sprache 2 Treffer
- Programmanalyse 2 Treffer
- Programmierung 2 Treffer
- Systementwicklung 2 Treffer
- Typentheorie 2 Treffer
- Automatentheorie 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechenbarkeit 1 Treffer
- CAD 1 Treffer
- Computeralgebra 1 Treffer
- Informatik 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
11 Treffer
-
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:
-
Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
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, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: