
Formal Specification Techniques for Engineering Modular C Programs
Paperback Published on: 13/10/2012
Price: £129.99
Publisher information
- Publisher: Springer-Verlag New York Inc.
- ISBN: 9781461368502
- Number of pages: 213
- Dimensions: 235 x 155 mm
- Languages: English

















