Verwandte Artikel zu Proceedings of the IFIP TC/WG 6.1 Third International...
Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications ... '90, Madrid, Spain, 5-8 November, 1990 (3rd) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Proceedings of the IFIP TC/WG 6.1 Third International...
Beispielbild für diese ISBN
Formal Description Techniques, III: Proceedings of the Ifip Tc/Wg 6.1 Third International Conference on Formal Description Techniques for Di
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-311-697
Anzahl: 1 verfügbar