Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 18 Treffer
- Formale Methode 10 Treffer
- Model Checking 10 Treffer
- Programmverifikation 7 Treffer
- Automatisches Beweisverfahren 4 Treffer
-
22 weitere Werte:
- Formale Spezifikationstechnik 3 Treffer
- Programmanalyse 3 Treffer
- Software 3 Treffer
- Softwarespezifikation 3 Treffer
- Testen 3 Treffer
- Graphersetzungssystem 2 Treffer
- Verifikation 2 Treffer
- Anwendungssystem 1 Treffer
- Aspektorientierte Programmierung 1 Treffer
- CAD 1 Treffer
- Funktionale Programmierung 1 Treffer
- Mathematische Methode 1 Treffer
- Mehragentensystem 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmierung 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Requirements engineering 1 Treffer
- Software Engineering 1 Treffer
- Spezifikationssprache 1 Treffer
- Theoretische Informatik 1 Treffer
- World Wide Web 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 2 Treffer
- Araki, Keijirō 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Butler, Michael 1 Treffer
- Fitzgerald, John 1 Treffer
-
17 weitere Werte:
- Fitzgerald, John (1951-) 1 Treffer
- Garavel, Hubert 1 Treffer
- Graf, Susanne 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Jensen, Kurt 1 Treffer
- Katoen, Joost-Pieter (1964-) 1 Treffer
- Margaria, Tiziana 1 Treffer
- Misra, Jayadev 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nagl, Manfred 1 Treffer
- Pfaltz, John L. 1 Treffer
- Romijn, Judi 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Wirsing, Martin (1948-) 1 Treffer
- Woodcock, Jim (1956-) 1 Treffer
23 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, 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 [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: