Specification in B: An Introduction Using the B Toolkit - Rilegato

Lano, Kevin; Haughton, Howard

 
9781860940088: Specification in B: An Introduction Using the B Toolkit
Rilegato
ISBN 10: 1860940080 ISBN 13: 9781860940088
Casa editrice: World Scientific Pub Co Inc, 1996

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Lano Kevin Haughton Howard

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
World Scientific Pub Co Inc
Data di pubblicazione
1996
Lingua
Inglese
ISBN 10 
1860940080
ISBN 13 
9781860940088
Rilegatura
Copertina rigida
Numero di pagine
241
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9781860940187: Specification in B: An Introduction Using the B Toolkit

Edizione in evidenza

ISBN 10:  1860940188 ISBN 13:  9781860940187
Casa editrice: World Scientific Pub Co Inc, 1996
Brossura