NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Ebook (sacbook.shop)

$10.00

Springer

Category: Tag: