Versions - Tools and Algorithms for the Construction and Analysis of Systems
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 3
- Algorithms & data structures 2
- Artificial intelligence 2
- Computer architecture & logic design 2
- Computer programming / software development 2
- Mathematical theory of computation 2
- Algorithms 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Formal Languages and Automata Theory 1
- Logic Design 1
- Logic design 1
- Logic in AI 1
- Logic programming 1
- Machine theory 1
- Software engineering 1
-
1
-
2
-
3
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter