BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
2., Second Edition 2026
Springer Nature Switzerland
ISBN 978-3-031-99705-1
Standardpreis
Bibliografische Daten
eBook. PDF
2., Second Edition 2026. 2025
XIX, 641 p. 643 illus. in color..
In englischer Sprache
Umfang: 641 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-031-99705-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Texts & Monographs in Symbolic Computation Computer Science Computer Science (R0)
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
