Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- xxi, 465p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held dur…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- xxi, 471p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 Too
Search Result
Found 2 from your keywords: Author : "Larsen, Kim Guldstrand"
Query took 0.00077 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography