Verification, Model Checking, and Abstract Interpretation
Andreas Podelski,Byron Cook
Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (Lecture Notes in Computer Science, 10713)
by Georg Rehm, Thierry Declerck
10 / 10 2 ratings
- Language
- German
- Published
- 2018
- Publisher
- Springer
- Pages
- 323
- ISBN
- 9783319737058
Subjects
Original edition
Language Technologies For The Challenges Of The Digital AgeOriginally published in 2018 German Springer Nature
Other editions (2)
No reviews yet. Be the first.
Readers also liked
Engineering Psychology and Cognitive Ergonomics: 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, ... Notes in Computer Science Book 9174)
Don Harris
Quantum Computing And Artificial Intelligence
Surbhi Bhatia, Abhishek Kumar, Pethuru Raj, Ashutosh Kumar Dubey, Oswalt Manoj S
Codes die Kunst der Verschlüsselung ; Geschichte, Geheimnisse, Tricks
Simon Singh
Free to read
High-performance Modelling And Simulation For Big Data Applications
Joanna Kołodziej, Horacio Gonz�lez-V�lez
Was machen Digitalisierung und Künstliche Intelligenz mit der Psychotherapie? Einwürfe und Provokationen
Robin Schmidt, Marko Demantowsky, Bert te Wildt, Gerhard Lauer
Einführung in das Programmieren in BASIC
Erich W. Mägerle
Modulorientiertes Produktlinien Engineering fuer den modellbasierten Elektrik/Elektronik-Architekturentwurf (German Edition)
Martin Jaensch