TU Darmstadt / ULB / TUbiblio

Formal reasoning about modules, reuse, and their correctness

Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
Hrsg.: Gabbay, Dov M. ; Ohlbach, Hans Jürgen (1996)
Formal reasoning about modules, reuse, and their correctness.
International Conference on Formal and Applied Practical Reasoning ; FAPR '96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1996
Herausgeber: Gabbay, Dov M. ; Ohlbach, Hans Jürgen
Autor(en): Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
Art des Eintrags: Bibliographie
Titel: Formal reasoning about modules, reuse, and their correctness
Sprache: Englisch
Publikationsjahr: 1996
Ort: Berlin (u.a.)
Verlag: Springer
Buchtitel: Practical reasoning : proceedings ; International Conference on Formal and Applied Practical Reasoning ; FAPR '96, Bonn, Germany, June 3 - 7, 1996
Reihe: Lecture notes in computer science
Band einer Reihe: 1085
Veranstaltungstitel: International Conference on Formal and Applied Practical Reasoning ; FAPR '96
Veranstaltungsort: Bonn
Veranstaltungsdatum: 03.06.1996-07.06.1996
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:59
Letzte Änderung: 11 Okt 2024 11:01
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen