Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Theoretical Computer Science and General IssuesPublisher: Cham : Springer Nature, 2018Description: 1 Online-RessourceISBN:- 9783319899633
- Computer science
- computer architecture
- computer software selection and evaluation
- formal logic
- formal methods
- model checker
- model checking
- multi core processors
- program compilers
- programming languages
- semantics
- software engineering
- specifications
- state space
- verification
- thema EDItEUR::U Computing and Information Technology::UY Computer science
Open Access. Unrestricted online access star
Creative Commons https://creativecommons.org/licenses/by/4.0 cc
English