81,03€(IVA inc.)
Program Logics for Certified Compilers
- Appel, Andrew W.
- 978-1-107-04801-0
- 2014-04-21
52,00€(IVA inc.)
Verified Software. Theories, Tools, and Experiments
- Blazy, Sandrine
- 978-3-319-48868-4
- 2016-12-06