Book details
Further Details
Co-author Richard C. Waters. Discusses how software engineers analyze, synthesize, specify, verify and document software systems, and possible approaches to automating these tasks. Quarto-octavo borderline in size. Condition: A little dust soiling to top edges (external), otherwise a very nice copy, clean, bright and sound
