Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
. D .
PageMenu- Hauptmenü-
Page content

Titelanzeige

¬A¬ meta-calculus for formal system development

¬A¬ meta-calculus for formal system development
Titelinformation
Feldname Details
Art des Inhalts Hochschulschrift
Name Weber, Karl Matthias
Weber, Matthias
T I T E L ¬A¬ meta-calculus for formal system development
Verfasserangabe Matthias Weber
Erscheinungsort München ; Wien
Verlag Oldenbourg
Erscheinungsjahr 1991
Umfang 197 S
Serie Berichte der Gesellschaft für Mathematik und Datenverarbeitung
Band 195
Hochschulschrift Zugl.: Karlsruhe, Univ., Diss., 1990
ISBN ISBN 3-486-21994-4
Signatur mat 2.80/g28-195
Originalschrift Ort Karlsruhe
Dokumentlieferung Aufsatzbestellung für Mitarbeiterinnen und Mitarbeiter der Universität via KonDoc
Signatur mat 2.80/g28-195
mat 2.80/g28-195
Internetseite / Link Inhaltstext
Kataloginformation1140344 Datensatzanfang . Kataloginformation1140344 Seitenanfang .
Exemplare
Barcode Signatur / Lageplan Fachgebiet Band / Heft Ebene Status Ausgel. bis
0109859045 mat 2.80/g28-195
Exemplarstandort0109859045
Mathematik   BS 2 . Verfügbar .  
. Katalogdatensatz1140344 ItemInfo Datensatzanfang . Katalogdatensatz1140344 ItemInfo Seitenanfang .