The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems - Hardcover
Inhaltsangabe
This work is based on the proceedings of a workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988. The workshop covered industrial applications of refinement, case studies of new techniques, and the underlying theory. Although much of the material has a research orientation it should be readily understood by most formal methods practitioners. Thus the material should be of value to those wishing to apply refinement techniques in industry, as well as to researchers wishing to gain an understanding of current work in the area.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This work is based on the proceedings of a workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988. The workshop covered industrial applications of refinement, case studies of new techniques, and the underlying theory. Although much of the material has a research orientation it should be readily understood by most formal methods practitioners. Thus the material should be of value to those wishing to apply refinement techniques in industry, as well as to researchers wishing to gain an understanding of current work in the area.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für The Theory and Practice of Refinement: Approaches to...
Beispielbild für diese ISBN
The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers G-128-819
Gebraucht kaufen
EUR 5,80
Versand:
EUR 22,50
Von Frankreich nach USA
Anzahl: 1 verfügbar