Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

  • Paperback

List price: US$24.99

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Paperback | 232 pages
  • 156 x 234 x 12mm | 331g
  • United States
  • black & white illustrations
  • 1461541263
  • 9781461541264