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. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: "10427459X"

Zurück zur Trefferliste


Treffer 4 von 29 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/930960777
Art des Inhalts Konferenzschrift, 1991, Marktoberdorf
Titel Logic and algebra of specification : [proceedings of the Nato Advanced Study Institute on Logic and Algebra on Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] / ed. by Friedrich Ludwig Bauer ... Publ. in cooperation with Nato Scientific Affairs Division
Person(en) Bauer, Friedrich L. (Herausgeber)
Organisation(en) Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer
Zeitliche Einordnung Erscheinungsdatum: 1993
Umfang/Format 442 S. : graph. Darst. ; 25 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Logic and Algebra of Specification
ISBN/Einband/Preis 978-3-540-55813-2 (Berlin ...) Pp. : DM 148.00
3-540-55813-6 (Berlin ...) Pp. : DM 148.00
978-0-387-55813-4 (New York ...) Pp.
0-387-55813-6 (New York ...) Pp.
Beziehungen NATO: NATO ASI series / Series F / Computer and systems sciences ; Vol. 94
Anmerkungen Literaturangaben
Status nach VGG: lieferbar
Schlagwörter Logische Programmierung ; Kongress ; Marktoberdorf <1991>
Programmierung ; Algebraische Spezifikation ; Kongress ; Marktoberdorf <1991>
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1993 A 31610
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 1993 A 31610
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 4 von 29
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration