72,80€(IVA inc.)
NASA formal methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
- Bobaru, Mihaela
- 978-3-642-20397-8
- 2011-04-06