Doesn't suit? No problem! You can return items for up to 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
Up to 30 days for returns
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?