Normale Ansicht MARC-Ansicht ISBD

Formale Methoden und kleine Systeme : lernen, leben und arbeiten in formalen Umgebungen / Dirk Siefkes

Von:

Siefkes, Dirk, 1938-2016 [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: [Karlsruhe] : [Studienzentrum für Sehgeschädigte], 1992Verlag: Braunschweig : Vieweg, 1992Beschreibung: 1 CDGenre/Form:

Diskette

RVK: RVK: ST 110 | ST 125PPN: PPN: 116726455X

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Signatur	Status
Institutsbestand	Zentrum ACCESS	Inf 2/SIEF	Nicht ausleihbar

Anzahl Vormerkungen: 0

Druck
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)