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
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German, English Series: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,10Publisher: Karlsruhe : Univ. of Karlsruhe, Inst. for Logic, Complexity and Deductive Systems, 1989Description: 86 SOther title:- Verification, construction and synthesis of programs
- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1989,10.1989 | Available | 31198295090 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23018) | Not for loan | 000733638090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 2 pdager