Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- xxi, 493p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- xxi, 493p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Search Result
Found 2 from your keywords: Author : "Rosu, Grigore"
Query took 0.00121 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography