Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Book Details
Author(s)
D. John Cooke
Publisher
Springer
ISBN / ASIN
1852338202
ISBN-13
9781852338206
Availability
Usually ships in 24 hours
Sales Rank
#3,713,148
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
Links constructive software development to traditional problem-solving methods
Not dependent on any particular specification language, but is based instead on their common core
