Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmanalyse 8 Treffer
- Programmtransformation 6 Treffer
- Model Checking 5 Treffer
- Softwareentwicklung 4 Treffer
- Formale Methode 3 Treffer
-
21 weitere Werte:
- Programmierung 3 Treffer
- Software 3 Treffer
- Statische Analyse 3 Treffer
- Systementwicklung 3 Treffer
- Testen 3 Treffer
- Datenfluss 2 Treffer
- Kontrollfluss 2 Treffer
- Logische Programmierung 2 Treffer
- Programmsynthese 2 Treffer
- Softwarespezifikation 2 Treffer
- Statistische Analyse 2 Treffer
- Attributierte Grammatik 1 Treffer
- B (Programmiersprache) 1 Treffer
- Formale Semantik 1 Treffer
- Mathematische Methode 1 Treffer
- Modulare Programmierung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmiersprache 1 Treffer
- Strukturierte Programmierung 1 Treffer
- Typsystem 1 Treffer
- Verfeinerung 1 Treffer
Sprache
Form
Person
- Apt, Krzysztof R. (1949-) 3 Treffer
- Olderog, Ernst-Rüdiger (1955-) 3 Treffer
- Alagić, Suad 1 Treffer
- Araki, Keijirō 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
-
16 weitere Werte:
- Bossi, Annalisa 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Cousot, Radhia 1 Treffer
- Dam, Mads 1 Treffer
- Deransart, Pierre 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Fitzgerald, John 1 Treffer
- Giacobazzi, Roberto 1 Treffer
- Hankin, Chris 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hesselink, Wim H. 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Małuszyński, Jan 1 Treffer
- Misra, Jayadev 1 Treffer
- Müller, Peter (1972-) 1 Treffer
- Waldinger, Richard 1 Treffer
19 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Springer, [2002]Monographie, Hochschulschrift, 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:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: North-Holland, 1977Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., corr. print.. - New York [u.a.]: Springer, c 1978Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991Monographie, Gedruckte RessourceZugriff: