Verwandte Artikel zu Specification In B: An Introduction Using The B Toolkit
Inhaltsangabe
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
Reseña del editor
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Jaquette...
Diesen Artikel anzeigen
EUR 8,38
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Specification In B: An Introduction Using The B Toolkit
Beispielbild für diese ISBN
Specification in B: An Introduction Using the B Toolkit
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-867-995
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specification in B: An Introduction Using the B Toolkit
Verlag:
Imperial College Press, London, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Gebraucht
Hardcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. Hardcover. A few superficial scores and marks on jacket. Lightest of wear on leading corners and spine ends of jacket and hardcover. Pages are clean, binding is sound, and text remains clear throughout. TS. Used. Bestandsnummer des Verkäufers 279926
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
Verlag:
World Scientific Pub Co Inc, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Gebraucht
Hardcover
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week! Bestandsnummer des Verkäufers mon0000001070
Anzahl: 4 verfügbar