Versions - Tools and Algorithms for the Construction and Analysis of Systems
Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
- Software Engineering 3
- Computer modelling & simulation 2
- Computer programming / software development 2
- Information technology: general issues 2
- Mathematical theory of computation 2
- Systems analysis & design 2
- Computer Modelling 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Computer simulation 1
- Computers 1
- Electronic digital computers 1
- Evaluation 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Professions 1
- Software engineering 1
- System Performance and Evaluation 1
- The Computing Profession 1
-
1
-
2
-
3
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Izdano 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronski Book Chapter