Proceedings of a conference held in Chicago in September 1993. Papers are divided into sessions on synthesis, validation and verification, application, maintenance and evolution, requirements, reuse, evaluation and experiments, and demonstrations. Topics include diagrams for software synthesis, the ARIES simulation component, transformational approach to transportation scheduling, the knowledge base maintenance assistant, and implementation of bounded obligations. Contains only an author index. Annotation copyright Book News, Inc. Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0818641002.G
Quantità: 1 disponibili