Specification in B

Specification in B
Author :
Publisher : World Scientific
Total Pages : 264
Release :
ISBN-10 : 1860940080
ISBN-13 : 9781860940088
Rating : 4/5 (088 Downloads)

Book Synopsis Specification in B by : Kevin Lano

Download or read book Specification in B written by Kevin Lano and published by World Scientific. This book was released on 1996 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Specification in B Related Books

Specification in B
Language: en
Pages: 264
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: World Scientific

GET EBOOK

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
ZB 2003: Formal Specification and Development in Z and B
Language: en
Pages: 559
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2003-05-20 - Publisher: Springer Science & Business Media

GET EBOOK

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presen
ZB 2002: Formal Specification and Development in Z and B
Language: en
Pages: 547
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 2
ZB 2000: Formal Specification and Development in Z and B
Language: en
Pages: 524
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 2
AS biology for AQA (specification B)
Language: en
Pages: 276
Authors: Christine Lea
Categories: Science
Type: BOOK - Published: 2000 - Publisher: Heinemann

GET EBOOK

This accessible text has been designed to help students make the step up from GCSE to A Level. The student book is presented in a double page spread format, mak