Online-Ressource
Wiesbaden : Deutscher Universitäts Verlag
UID:
kobvindex_ERBEBC6868367
Umfang:
1 online resource (296 pages)
Ausgabe:
1
ISBN:
9783663146216
Serie:
DUV: Datenverarbeitung Series
Weitere Ausg.:
Print version: Heisel, Maritta Formale Programmentwicklung Mit Dynamischer Logik Wiesbaden : Deutscher Universitäts Verlag,c1992 ISBN 9783824420315
Schlagwort(e):
Electronic books.
URL:
https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=6868367
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |