Doesn't suit? No problem! You can return within 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
30-day return policy
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Hi! I'm Libroamiko, your book advisor.
How can I help you?