Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Model Checking 7 Treffer
- Softwareentwicklung 7 Treffer
- Verifikation 6 Treffer
- Systementwicklung 4 Treffer
- CAD 3 Treffer
-
34 weitere Werte:
- Programmanalyse 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Logischer Schluss 2 Treffer
- Nebenläufigkeit 2 Treffer
- Programmierung 2 Treffer
- Programmverifikation 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstraktion 1 Treffer
- Algebraische Methode 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Beweistheorie 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dekomposition 1 Treffer
- Eingebettetes System 1 Treffer
- Entwurfsautomation 1 Treffer
- Funktionale Programmierung 1 Treffer
- HOL 1 Treffer
- Hardwareentwurf 1 Treffer
- Informatikstudium 1 Treffer
- Isabelle (Programm) 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Leistungsbewertung 1 Treffer
- Objektorientierung 1 Treffer
- Paralleler Prozess 1 Treffer
- Petri-Netz 1 Treffer
- Reduktionssystem 1 Treffer
- SIMULA 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Systementwurf 1 Treffer
- Typentheorie 1 Treffer
- Verbandstheorie 1 Treffer
Form
Person
- Hutter, Dieter 2 Treffer
- Aagaard, Mark 1 Treffer
- Backhouse, Roland 1 Treffer
- Börger, Egon 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
-
18 weitere Werte:
- Coquand, Thierry (1961-) 1 Treffer
- Cortadella, Jordi 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dean, Neville 1 Treffer
- Eriksson, Lars-Henrik 1 Treffer
- Fitzgerald, John 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Misra, Jayadev 1 Treffer
- Nipkow, Tobias (1958-) 1 Treffer
- Oliveira, José Nuno (1955-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Siekmann, Jörg 1 Treffer
- Wenzel, Markus 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
20 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: