Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Book Details
Author(s)D. John Cooke
PublisherSpringer
ISBN / ASIN1852338202
ISBN-139781852338206
AvailabilityUsually ships in 24 hours
Sales Rank3,713,148
MarketplaceUnited States 🇺🇸
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
