Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 16 Treffer
- Programmanalyse 11 Treffer
- Abstrakte Interpretation 5 Treffer
- Programmtransformation 5 Treffer
- Automatisches Beweisverfahren 4 Treffer
-
21 weitere Werte:
- Softwarespezifikation 4 Treffer
- Programmierung 3 Treffer
- Softwareentwicklung 3 Treffer
- Statische Analyse 3 Treffer
- Systementwicklung 3 Treffer
- Datenfluss 2 Treffer
- Formale Methode 2 Treffer
- Kontrollfluss 2 Treffer
- Statistische Analyse 2 Treffer
- Abstrakter Datentyp 1 Treffer
- FORTRAN 1 Treffer
- Hoare-Logik 1 Treffer
- Modulare Programmierung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmiersprache 1 Treffer
- Qualitätskontrolle 1 Treffer
- Software 1 Treffer
- Spezifikation 1 Treffer
- Typentheorie 1 Treffer
- Typsystem 1 Treffer
- Verifikation 1 Treffer
Form
Person
- Apt, Krzysztof R. (1949-) 2 Treffer
- Cousot, Radhia 2 Treffer
- Loeckx, Jacques (1931-2020) 2 Treffer
- Olderog, Ernst-Rüdiger (1955-) 2 Treffer
- Sieber, Kurt 2 Treffer
-
28 weitere Werte:
- Backhouse, Roland Carl 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Ball, Thomas 1 Treffer
- Bertot, Yves 1 Treffer
- Boyer, Robert S. 1 Treffer
- Bošnački, Dragan 1 Treffer
- Castéran, Pierre 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Cortesi, Agostino 1 Treffer
- Dahl, Ole-Johan 1 Treffer
- Dam, Mads 1 Treffer
- Deutsch, Michael S. 1 Treffer
- Emerson, E. Allen 1 Treffer
- Francez, Nissim (1944-) 1 Treffer
- Giacobazzi, Roberto 1 Treffer
- Godefroid, Patrice 1 Treffer
- Graf, Susanne 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hankin, Chris 1 Treffer
- Havelund, Klaus (1955-) 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Jensen, Kurt 1 Treffer
- Müller, Peter (1972-) 1 Treffer
- Rakitin, Steven R. 1 Treffer
- Steffen, Bernhard 1 Treffer
- Valmari, Antti 1 Treffer
- Zuck, Lenore D. 1 Treffer
33 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, [2002]Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1992Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Press, 1981Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice-Hall, 1982Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice-Hall Internat, 1986Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner [u.a.], 1984Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Stuttgart: Teubner [u.a.], 1987Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice/Hall Internat, 1980Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Artech House, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: