Specification In B: An Introduction Using The B Toolkit - Hardcover

Haughton, Howard (J P Morgan Corp, London, Uk); Lano, Kevin (.)

 
9781860940088: Specification In B: An Introduction Using The B Toolkit
Hardcover
ISBN 10: 1860940080 ISBN 13: 9781860940088
Verlag: Imperial College Press, 1996

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.

Verlag
Imperial College Press
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
1860940080
ISBN 13 
9781860940088
Einband
Gebundene Ausgabe
Anzahl der Seiten
252
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781860940187: Specification In B: An Introduction Using The B Toolkit

Vorgestellte Ausgabe

ISBN 10:  1860940188 ISBN 13:  9781860940187
Verlag: Imperial College Press, 1996
Softcover