Specification In B An Introduction Using The B Toolkit is popular PDF and ePub book, written by Howard Haughton in 1996-04-03, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Specification In B An Introduction Using The B Toolkit can be Read Online from any device for your convenience.
Specification In B An Introduction Using The B Toolkit Book PDF Summary
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.
Detail Book of Specification In B An Introduction Using The B Toolkit PDF
- Author : Howard Haughton
- Release : 03 April 1996
- Publisher : World Scientific
- ISBN : 9781783262724
- Genre : Computers
- Total Page : 256 pages
- Language : English
- PDF File Size : 17,6 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Specification In B An Introduction Using The B Toolkit by Howard Haughton, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.