Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Logics of Specification Languages"
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 |