Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 4 Treffer
- Softwareentwicklung 4 Treffer
- Formale Methode 3 Treffer
- Model Checking 3 Treffer
- Programmanalyse 3 Treffer
-
35 weitere Werte:
- Software 3 Treffer
- Systementwicklung 3 Treffer
- Testen 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Programmierung 2 Treffer
- Programmtransformation 2 Treffer
- Termersetzungssystem 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Attributierte Grammatik 1 Treffer
- B (Programmiersprache) 1 Treffer
- Berechenbarkeit 1 Treffer
- Beweistheorie 1 Treffer
- Dekomposition 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- HOL 1 Treffer
- Hardwareverifikation 1 Treffer
- Hoare-Logik 1 Treffer
- Horn-Klausel 1 Treffer
- Klausellogik 1 Treffer
- Komplexitätstheorie 1 Treffer
- Konstruktive Logik 1 Treffer
- LISP 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mathematische Methode 1 Treffer
- Nebenläufigkeit 1 Treffer
- Partiell korrektes Programm 1 Treffer
- Programmiersprache 1 Treffer
- Programmsynthese 1 Treffer
- Softwarespezifikation 1 Treffer
- Statische Analyse 1 Treffer
- Typentheorie 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Verfeinerung 1 Treffer
Sprache
Form
Person
- Antoniou, Grigorios 1 Treffer
- Araki, Keijirō 1 Treffer
- Bossi, Annalisa 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Claesen, Luc J. 1 Treffer
-
15 weitere Werte:
- Cousot, Patrick 1 Treffer
- Deransart, Pierre 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Fitzgerald, John 1 Treffer
- Giménez, Eduardo (1967-) 1 Treffer
- Gordon, Michael J. C. 1 Treffer
- Hesselink, Wim H. 1 Treffer
- Homer, Steven 1 Treffer
- Małuszyński, Jan 1 Treffer
- Milner, Robin (1934-2010) 1 Treffer
- Misra, Jayadev 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Sperschneider, Volker (1952-) 1 Treffer
- Wadsworth, Christopher P. 1 Treffer
- Zwiers, Job 1 Treffer
15 Treffer
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1979Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: