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)
de Georg Rehm, Thierry Declerck
10 / 10 2 notes
- Langue
- Allemand
- Parution
- 2018
- Éditeur
- Springer
- Pages
- 323
- ISBN
- 9783319737058
Thèmes
Édition originale
Language Technologies For The Challenges Of The Digital AgeParu pour la première fois en 2018 Allemand Springer Nature
Autres éditions (2)
Aucun avis pour l’instant. À toi d’ouvrir le bal !
Les lecteurs ont aussi aimé
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
À lire gratuitement
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