Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Springer International Publishing
ISBN 978-3-030-80507-4
Standardpreis
Bibliografische Daten
eBook. PDF. Weiches DRM (Wasserzeichen)
2021
Umfang: 636 S.
Verlag: Springer International Publishing
ISBN: 978-3-030-80507-4
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Computer Science (R0) Texts & Monographs in Symbolic Computation Computer Science
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

