
Formal Specification Techniques for Engineering Modular C Programs
Synopsis
About this book
- Language:English
- ISBN:9781461541257
- Release date:May 1, 2015
- Publisher:Springer US
- Imprint:Springer
- File format:EPUB2
- File size:17.31 MB
- Download options:EPUB2 (Adobe DRM)
























