Synopsis
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
"synopsis" may belong to another edition of this title.
From the Back Cover
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
"About this title" may belong to another edition of this title.
Search results for Software Engineering with Abstractions
Stock Image
Software Engineering with Abstractions
Published by
Pearson Education, Limited, 1991
ISBN 10: 0201080044
ISBN 13: 9780201080049
Used
Hardcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. First Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 54911164-6
Stock Image
Software Engineering with Abstractions
Published by
Pearson Education, Limited, 1991
ISBN 10: 0201080044
ISBN 13: 9780201080049
Used
Hardcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. First Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 17190782-75