Sold out but wanted!
More about the book
This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001
Book purchase
Software engineering with abstractions, Valdis Andris Bērzin̦s̆
- Language
- Released
- 1990
- Binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.
- Title
- Software engineering with abstractions
- Language
- English
- Authors
- Valdis Andris Bērzin̦s̆
- Publisher
- Addison-Wesley
- Released
- 1990
- Format
- Hardcover
- ISBN10
- 0201080044
- ISBN13
- 9780201080049
- Series
- Rating
- 4 out of 5
- Description
- This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001