Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Logics of Specification Languages"
Link zu diesem Datensatz | https://d-nb.info/1181100003 |
Art des Inhalts | Aufsatzsammlung |
Titel | Logics of Specification Languages |
Person(en) | Bjørner, Dines (Herausgeber) |
Verlag | Berlin, Heidelberg : Springer Berlin Heidelberg |
Zeitliche Einordnung | Erscheinungsdatum: 2007 |
Umfang/Format | Online-Ressource (pdf) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Logics of specification languages |
Persistent Identifier |
URN: urn:nbn:de:101:1-2019031903095864149070 DOI: 10.1007/978-3-540-74107-7 |
URL | http://www.springerlink.com/content/978-3-540-74107-7 (Verlag) |
ISBN/Einband/Preis | 978-3-540-74107-7 |
EAN | 9783540741077 |
Sprache(n) | Englisch (eng) |
Beziehungen | Monographs in Theoretical Computer Science. An EATCS Series |
Schlagwörter |
Spezifikationssprache ; Logik ; Aufsatzsammlung Spezifikationssprache ; Formale Methode ; Aufsatzsammlung |
DDC-Notation | 005.131 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |