Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 10 Treffer
- Programmverifikation 7 Treffer
- B (Programmiersprache) 6 Treffer
- Formale Spezifikationstechnik 5 Treffer
- Z (Programmiersprache) 5 Treffer
-
23 weitere Werte:
- Automatisches Beweisverfahren 3 Treffer
- Model Checking 3 Treffer
- Systementwicklung 3 Treffer
- Nebenläufigkeit 2 Treffer
- Programmierung 2 Treffer
- Temporale Logik 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Echtzeitsystem 1 Treffer
- Formale Methode 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logischer Entwurf 1 Treffer
- Mathematisches Modell 1 Treffer
- Petri-Netz 1 Treffer
- Programm 1 Treffer
- Programmiersprache 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Technisches System 1 Treffer
- UML 1 Treffer
- Verfeinerung 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Bert, Didier 3 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Banieqbal, Behnam 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Ehrig, Hartmut 1 Treffer
-
16 weitere Werte:
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hooman, Jozef J. M. 1 Treffer
- Jensen, Kurt 1 Treffer
- Klaeren, Herbert (1950-) 1 Treffer
- Lano, Kevin 1 Treffer
- Manna, Zohar 1 Treffer
- Möller, Bernhard 1 Treffer
- Pnûʾēlî, Āmîr 1 Treffer
- Potter, Ben 1 Treffer
- Sinclair, Jane 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Till, David 1 Treffer
- Treharne, Helen 1 Treffer
- Tucker, John V. (1952-) 1 Treffer
- Zucker, Jeffery I. (1942-) 1 Treffer
20 Treffer
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1983Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [u.a.], 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice Hall, 1991Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: