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
Add this copy of Software Engineering With Abstractions to cart. $74.94, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1990 by Addison-Wesley.
