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.
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.
"About this title" may belong to another edition of this title.
Seller: BooksRun, Philadelphia, PA, U.S.A.
Hardcover. Condition: Very Good. First Edition. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0201080044-11-1
Seller: Better World Books, Mishawaka, IN, U.S.A.
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
Seller: Better World Books, Mishawaka, IN, U.S.A.
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
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.1AYTU
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Seller Inventory # OTV.0201080044.VG