Workshop Verification, Construction, and Synthesis of Programs : April 6 and 7, 1989 in Karlsruhe / U. Furbach ... University of Karlsruhe, Institute for Logic, Complexity and Deductive Systems, FRG
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch, Englisch Reihen: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,10Verlag: Karlsruhe : Univ. of Karlsruhe, Inst. for Logic, Complexity and Deductive Systems, 1989Beschreibung: 86 SWeitere Titel:- Verification, construction and synthesis of programs
- 2
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1989,10.1989 | Verfügbar | 31198295090 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23018) | Nicht ausleihbar | 000733638090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 2 pdager