Nothing Special   »   [go: up one dir, main page]

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag, 18. Februar bis Montag, 24. Februar 2025, 11:00 Uhr: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Inbetriebnahme der Medienausleihe und der angrenzenden Lesesäle erfordert diese Schließzeit.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
 
 

Ergebnis der Suche nach: idn=966581598



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/966581598
Art des Inhalts Hochschulschrift
Titel Deduktive Fehlersuche in abstrakten Datentypen / von Wolfgang Ahrendt
Person(en) Ahrendt, Wolfgang (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2001
Umfang/Format II, 200 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Deduktive Fehlersuche in abstrakten Datentypen
Hochschulschrift Karlsruhe, Univ., Diss., 2001 (Nicht für den Austausch)
Sprache(n) Deutsch (ger)
Schlagwörter Abstrakter Datentyp ; Algebraische Spezifikation ; Aussage <Mathematik> ; Fehlersuche ; Modelltheorie
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 2003 B 1292
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: H 2003 B 1292
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration