Freunden von diesem Artikel berichten:
Temporal Type Theory Schultz 1st ed. 2019 edition
Preis
€ 117,99
Bestellware
Lieferdatum: ca. 16. - 24. Jun
Zu deiner iMusic Wunschliste hinzufügen
oder
Temporal Type Theory
Schultz
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu
| Medien | Bücher Buch |
| Erscheinungsdatum | 11. Februar 2019 |
| ISBN13 | 9783030007034 |
| Verlag | Springer Nature Switzerland AG |
| Seitenanzahl | 235 |
| Maße | 241 × 195 × 18 mm · 535 g |
| Sprache | Deutsch |
Weitere Titel von Schultz
Alle anzeigen
![Cover for Schultz · Rezeption des 'Das Narren Schyf (Buch) [German edition] (2013)](https://imusic.b-cdn.net/images/item/original/531/9783640505531.jpg?schultz-2013-rezeption-des-das-narren-schyf-buch&class=scaled&v=1647743479)
Mere med samme udgiver
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/796/9783032088796.jpg?jacqueline-kennelly-2026-citizen-youth-culture-activism-and-agency-in-a-neoliberal-era-education-politics-and-public-life-gebundenes-buch&class=scaled&v=1774523507)
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Taschenbuch) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/422/9783030806422.jpg?breit-dominic-dr-2026-a-course-on-function-spaces-i-continuous-and-integrable-functions-universitext-taschenbuch&class=scaled&v=1716780093)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2026-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-gebundenes-buch&class=scaled&v=1778117433)
![Cover for Shimon P. Vingron · Logic Circuit Design: Selected Topics and Methods (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/528/9783032212528.jpg?shimon-p-vingron-2026-logic-circuit-design-selected-topics-and-methods-gebundenes-buch&class=scaled&v=1775079513)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/588/9783032005588.jpg?oeyvind-groen-2026-einstein-s-general-theory-of-relativity-with-modern-applications-in-cosmology-graduate-texts-in-physics-gebundenes-buch&class=scaled&v=1778038948)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/898/9783032074898.jpg?mehdi-rahmani-andebili-2026-advanced-electrical-circuits-analysis-practice-problems-methods-and-solutions-gebundenes-buch&class=scaled&v=1761003881)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/938/9783032130938.jpg?ke-lin-du-2026-wireless-communication-systems-from-fundamentals-to-6g-signals-and-communication-technology-gebundenes-buch&class=scaled&v=1774415337)
![Cover for Mechanisms of Vascular Disease: A Textbook for Vascular Specialists (N/A) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing.png)
Alle Titel von Schultz ansehen ( u. a. Buch , Taschenbuch , Partituren , CD und Gebundenes Buch )