Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Buch (broschiert)ca. 81.00 CHF
erhältlich ab Februar 2025

Bibliografische Angaben

Februar 2025, ca. 254 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-82702-0

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Weitere Titel zum Thema

Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2025
978-3-030-86860-4
ca. 123.00 CHF
erhältlich ab Juni 2025
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
ca. 69.00 CHF
erhältlich ab April 2026
Combining Expert Knowledge and Deep Learning with Case-Based Reasoning for ...
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46985-6
ca. 134.00 CHF
erhältlich ab Februar 2025
Requirements Engineering
Fundamentals, Principles, and Techniques
Springer, 2025
978-3-662-69204-2
ca. 116.00 CHF
erhältlich ab März 2025
Microsoft Copilot für Dummies
Wiley-VCH, 2025
978-3-527-72346-1
ca. 30.50 CHF
erhältlich ab Juni 2025
Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63703-7
ca. 105.00 CHF
erhältlich ab Mai 2025
Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63966-6
ca. 249.00 CHF
erhältlich ab Mai 2025
Einkauf 4.0
Digitale Transformation der Beschaffung
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46966-5
ca. 21.50 CHF
erhältlich ab Februar 2025
GPS
Software Library
Springer Nature EN, 2040
978-3-540-76620-9
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen