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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Hardcover. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0201080044I5N00
Quantité disponible : 1 disponible(s)
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Etat : 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. N° de réf. du vendeur 17190782-75
Quantité disponible : 1 disponible(s)
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Etat : 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. N° de réf. du vendeur 54911164-6
Quantité disponible : 1 disponible(s)
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Etat : Good. First Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 10018039-6
Quantité disponible : 1 disponible(s)