A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language (Spec) to develop large real-time, and distributed systems in Ada. Coverage extends to system evoluti
Read More
A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language (Spec) to develop large real-time, and distributed systems in Ada. Coverage extends to system evoluti
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
