90,48€(IVA inc.)
Computer aided verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Parthasarathy, Madhusudan
- 978-3-642-31423-0
- 2012-06-15
49,40€(IVA inc.)
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
- Lee, Edward A.
- 978-0-262-53381-2
- 2017-01-13
52,00€(IVA inc.)
Verified Software: Theories, Tools, and Experiments
- Gurfinkel, Arie
- 978-3-319-29612-8
- 2016-01-29