
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319216683
- Udgivelsesdato:14. jul. 2015
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:7.90 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)

















































