Data & IT
Specification In B: An Introduction Using The B Toolkit
Howard Haughton • Kevin Lano • K Lano H Haughton
Inbunden
1709:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
Andra format:
- Pocket/Paperback 899:-
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.
- Format: Inbunden
- ISBN: 9781860940088
- Språk: Engelska
- Antal sidor: 252
- Utgivningsdatum: 1996-04-01
- Förlag: Imperial College Press