Articoli correlati a Formal Description Techniques, III: Proceedings of...
Formal Description Techniques, III: Proceedings of the Ifip Tc/Wg 6.1 Third International Conference on Formal Description Techniques for Distribute: 3rd - Rilegato
Sinossi
This proceedings contains a selection of papers covering the most relevant areas of application of standardized FDTs, including ASNI, Estelle, LOTOS and SDL. An extensive description of tools for FDTs is provided as well as applications related to implementation derivation, design by stepwise refinement, testing, transformation, formalization of standards, industrial transfer, and others. A small number of papers dealing with language issues, basic theoretical aspects of the target FDTs, and comparisons between standardized FDTs and alternative approaches have also been included.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Description Techniques, III: Proceedings of...
Foto dell'editore
Formal Description Techniques, III: Proceedings of the Ifip Tc/Wg 6.1 Third International Conference on Formal Description Techniques for Di
Editore:
Elsevier Science Ltd, 1991
ISBN 10: 0444890246
ISBN 13: 9780444890245
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1991. Tome 3. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 3. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-311-697
Quantità: 1 disponibili