Specification In B: An Introduction Using The B Toolkit

Howard Haughton, Kevin Lano

Anno: 1996
Rilegatura: Paperback / softback
Pagine: 252 p.
Testo in English
  • EAN: 9781860940187
pagabile con 18App pagabile con Carta del Docente

Articolo acquistabile con 18App e Carta del Docente

€ 37,55

€ 41,72

Risparmi € 4,17 (10%)

Venduto e spedito da IBS

38 punti Premium

Disponibile in 4/5 settimane

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.