Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 19 Treffer
- Programmanalyse 15 Treffer
- Softwareentwicklung 8 Treffer
- Programmtransformation 7 Treffer
- Softwarespezifikation 7 Treffer
-
32 weitere Werte:
- Systementwicklung 7 Treffer
- Programmierung 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Formale Methode 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Statische Analyse 4 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Typentheorie 3 Treffer
- Datenfluss 2 Treffer
- Kontrollfluss 2 Treffer
- Programmiersprache 2 Treffer
- Programmsynthese 2 Treffer
- Statistische Analyse 2 Treffer
- Abstrakter Datentyp 1 Treffer
- B (Programmiersprache) 1 Treffer
- Beweistheorie 1 Treffer
- Echtzeitsystem 1 Treffer
- Logische Programmierung 1 Treffer
- Logischer Entwurf 1 Treffer
- Mathematische Logik 1 Treffer
- Mathematische Methode 1 Treffer
- Mathematisches Modell 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programm 1 Treffer
- Programmierparadigma 1 Treffer
- Software Engineering 1 Treffer
- Termersetzungssystem 1 Treffer
- Theoretische Informatik 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Verfeinerung 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Cousot, Radhia 2 Treffer
- Araki, Keijirō 1 Treffer
- Baber, Robert Laurence 1 Treffer
- Ball, Thomas 1 Treffer
-
32 weitere Werte:
- Barringer, Howard 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bošnački, Dragan 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Colburn, Timothy R. (1952-) 1 Treffer
- Cortesi, Agostino 1 Treffer
- Cousot, Patrick 1 Treffer
- Dam, Mads 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Emerson, E. Allen 1 Treffer
- Fitzgerald, John 1 Treffer
- Giacobazzi, Roberto 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Godefroid, Patrice 1 Treffer
- Graf, Susanne 1 Treffer
- Gumb, Raymond D. 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hankin, Chris 1 Treffer
- Havelund, Klaus (1955-) 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hohlfeld, Bernhard 1 Treffer
- Hooman, Jozef J. M. 1 Treffer
- Jensen, Kurt 1 Treffer
- Misra, Jayadev 1 Treffer
- Ohori, Atsushi 1 Treffer
- Steffen, Bernhard 1 Treffer
- Struckmann, Werner 1 Treffer
- Tucker, John V. (1952-) 1 Treffer
- Valmari, Antti 1 Treffer
- Zuck, Lenore D. 1 Treffer
- Zucker, Jeffery I. (1942-) 1 Treffer
38 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1992Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [u.a.], 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: