It takes the average reader 4 hours and 28 minutes to read Specification in B by Kevin Lano
Assuming a reading speed of 250 words per minute. Learn more
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 by Kevin Lano is 264 pages long, and a total of 67,056 words.
This makes it 89% the length of the average book. It also has 82% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 6 hours and 6 minutes to read Specification in B aloud.
Specification in B is suitable for students ages 12 and up.
Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.
When deciding what to show young students always use your best judgement and consult a professional.
Specification in B by Kevin Lano is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Specification in B by Kevin Lano on Amazon click the button below.
Buy Specification in B on Amazon