Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 12 Treffer
- Programmverifikation 11 Treffer
- Programmtransformation 8 Treffer
- Abstrakte Interpretation 5 Treffer
- Formale Methode 5 Treffer
-
19 weitere Werte:
- Programmierung 5 Treffer
- Statische Analyse 5 Treffer
- Datenfluss 3 Treffer
- Kontrollfluss 3 Treffer
- Softwareentwicklung 3 Treffer
- Softwarespezifikation 3 Treffer
- Verifikation 3 Treffer
- Programmiersprache 2 Treffer
- Statistische Analyse 2 Treffer
- Typentheorie 2 Treffer
- UML 2 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Fehlertoleranz 1 Treffer
- Formale Sprache 1 Treffer
- Logische Programmierung 1 Treffer
- Programmierparadigma 1 Treffer
- Systementwicklung 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Cousot, Radhia 2 Treffer
- Hankin, Chris 2 Treffer
- Chin, Wei-Ngan 1 Treffer
- Cortesi, Agostino 1 Treffer
- Cousot, Patrick 1 Treffer
-
16 weitere Werte:
- Danvy, Olivier 1 Treffer
- Davies, Jim 1 Treffer
- Dwyer, Matthew (1963-) 1 Treffer
- Emerson, E. Allen 1 Treffer
- Giacobazzi, Roberto 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Nielson, Flemming 1 Treffer
- Ohori, Atsushi 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Steffen, Bernhard 1 Treffer
- Yi, Kwangkeun 1 Treffer
- Zuck, Lenore D. 1 Treffer
21 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, 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, 2006Konferenzschrift, 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, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, 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: