(3 resultados)
Ordenar por
ordenar por...
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
72,80€(IVA inc.)
Runtime verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Barringer, Howard
- 978-3-642-16611-2
- 2010-10-19