Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria
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 ; 10205Verlag: Berlin, Heidelberg : Springer, 2017Beschreibung: Online-Ressource (XXIV, 609 p. 152 illus, online resource)ISBN:- 9783662545775
- Softwareentwicklung
- Systementwicklung
- Systemanalyse
- Programmverifikation
- Hardwareverifikation
- Model Checking
- Entscheidungsverfahren
- Programmiersprache
- Programmierung
- Theoretische Informatik
- Programming languages (Electronic computers)
- Computers
- Computer logic
- Mathematical logic
- Computer science
- Computer Science
- Software engineering
- Algorithms
- Compilers (Computer programs)
- Machine theory
- QA76.9.L63 QA76.5913 QA76.63
- QA76.9.L63
- QA76.5913
- QA76.63
Dieser Titel hat keine Exemplare