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
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Berzins Valdis
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Better World Books, Mishawaka, IN, U.S.A.
Condizione: 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. Codice articolo 54911164-6
Quantità: 1 disponibili
Da: Better World Books, Mishawaka, IN, U.S.A.
Condizione: 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. Codice articolo 17190782-75
Quantità: 1 disponibili