Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 13 Treffer
- Programmanalyse 11 Treffer
- Programmtransformation 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Programmierung 4 Treffer
-
15 weitere Werte:
- Softwarespezifikation 3 Treffer
- Statische Analyse 3 Treffer
- Typentheorie 3 Treffer
- Datenfluss 2 Treffer
- Formale Methode 2 Treffer
- Kontrollfluss 2 Treffer
- Statistische Analyse 2 Treffer
- Echtzeitsystem 1 Treffer
- Formale Semantik 1 Treffer
- Modulare Programmierung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmierparadigma 1 Treffer
- Programmiersprache 1 Treffer
- Typsystem 1 Treffer
- Verfeinerung 1 Treffer
Sprache
Form
Person
- Cousot, Radhia 2 Treffer
- Ball, Thomas 1 Treffer
- Barthe, Gilles 1 Treffer
- Bošnački, Dragan 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
-
15 weitere Werte:
- Chin, Wei-Ngan 1 Treffer
- Cortesi, Agostino 1 Treffer
- Emerson, E. Allen 1 Treffer
- Giacobazzi, Roberto 1 Treffer
- Godefroid, Patrice 1 Treffer
- Graf, Susanne 1 Treffer
- Hankin, Chris 1 Treffer
- Havelund, Klaus (1955-) 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hooman, Jozef J. M. 1 Treffer
- Müller, Peter (1972-) 1 Treffer
- Ohori, Atsushi 1 Treffer
- Steffen, Bernhard 1 Treffer
- Valmari, Antti 1 Treffer
- Zuck, Lenore D. 1 Treffer
21 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, 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, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: