IMPORTANT MESSAGE: We are relocating warehouses on Tuesday, 4th April. Our last orders will be dispatched on Monday, 3rd April and we will resume dispatch on Thursday, 6th April. Back-Orders and Express Orders may be delayed if ordered during this period. If you are unsure regarding your order, please send us an email on: firstname.lastname@example.org and we will get back to you as soon as possible
This is the definitive guide to software engineering with B - the generic name for the software development method, invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. It is almost unique among such methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples.