| 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 |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum