Contact
How to shop
Delivery
Shopping guide
English
487 b
30-day return policy
Customers also purchased
/
Paperback
14.54
€
/
Paperback
20.10
€
/
Paperback
20.20
€
/
Paperback
7.16
€
This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
15.15
€
/
Paperback
68.40
€
/
Paperback
24.14
€
/
Paperback
14.84
€
/
Paperback
8.38
€
/
Hardback
27.17
€
/
Hardback
102.86
€
/
Hardback
216.14
€
