Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Specification In B: An Introduction Using The B Toolkit

Name: Specification In B: An Introduction Using The B Toolkit
Brand: Imperial College Press
SKU: 05121468
Price: 47.99 EUR
Availability: InStock
Author: Kevin Lano
ISBN: 9781860940187

Kevin Lano

Howard Haughton

Language

English

Book Paperback

Libristo code: 05121468

Publishers Imperial College Press, January 1996

Offers a practical introduction to the B specification language and method, an approach to the devel... Full description

Libristo code: 05121468

117 b

47.99 € VAT included

50 % chance We search the world When will I receive my book?

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Cuentos populares : Con adhesivos y actividades Louisa Camford

Paperback

2.99 €

Globus 320 fizyczny 3d stopka drewniana

binding.

30.29 €

Morale et pensée de Nietzsche Nietzsche

Paperback

14.29 €

Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.