
NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319406480
- Udgivelsesdato:2. aug. 2016
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:5.73 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)

















































