NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)…