> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Reuse of proofs in software verification : [preliminary version] Beteiligte: Reif, Wolfgang [VerfasserIn]; Stenzel, Kurt [VerfasserIn] Erschienen: Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, 1992 Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 92,26 Umfang: 19 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Interner Bericht
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 55421 001 Barcode: 30084193 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden