Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / edited by Andrei Paskevich, Thomas Wies
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 10712Verlag: Cham : Springer, 2017Beschreibung: Online-Ressource (XIII, 211 p. 69 illus, online resource)ISBN:- 9783319723082
- Verifikation
- Softwarespezifikation
- Spezifikationssprache
- Softwaretest
- Programmanalyse
- Programmverifikation
- Formale Methode
- Programming languages (Electronic computers)
- Computer science
- Computer Science
- Software engineering
- Computers
- Artificial intelligence
- Computer simulation
- Compilers (Computer programs)
- Professions
- QA76.758
Dieser Titel hat keine Exemplare