Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 306 von 7685942
|
|
| Link zu diesem Datensatz | https://d-nb.info/1375148974 |
| Titel | Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Wolfgang Schreiner |
| Person(en) | Schreiner, Wolfgang (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 2nd ed. 2026 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XIX, 641 p. 643 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-99704-4 Printed edition:: ISBN: 978-3-031-99706-8 Printed edition:: ISBN: 978-3-031-99707-5 |
| Inhalt | Part I The Foundations -- Syntax and Semantics -- The Language of Logic -- The Art of Reasoning -- Building Models -- Recursion -- Part II The Higher Planes -- Abstract Data Types -- Programming Languages -- Computer Programs -- Concurrent Systems -- References -- Index |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2508300413179.006325539863 DOI: 10.1007/978-3-031-99705-1 |
| URL | https://doi.org/10.1007/978-3-031-99705-1 |
| ISBN/Einband/Preis | 978-3-031-99705-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 306 von 7685942
Administration
