Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Ergebnis der Suche nach: tit all "Logics of Specification Languages"

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/985542179
Art des Inhalts	Aufsatzsammlung
Titel	Logics of specification languages / Dines Bjørner ; Martin C. Henson ed.
Person(en)	Bjørner, Dines (Herausgeber)
Verlag	Berlin ; Heidelberg : Springer
Zeitliche Einordnung	Erscheinungsdatum: 2008
Umfang/Format	XXI, 623 S. : graph. Darst. ; 24 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: Logics of Specification Languages
ISBN/Einband/Preis	978-3-540-74106-0 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.) 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Bestellnummer(n)	12021086
EAN	9783540741060
Sprache(n)	Englisch (eng)
Beziehungen	Monographs in theoretical computer science
Anmerkungen	Literaturangaben
Schlagwörter	Spezifikationssprache ; Logik ; Aufsatzsammlung Spezifikationssprache ; Formale Methode ; Aufsatzsammlung
DDC-Notation	005.131 [DDC22ger]
Sachgruppe(n)	004 Informatik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2008 A 19460 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt
Leipzig	Signatur: 2008 A 20277 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig

Treffer 1 von 1

Korrekturanfrage