Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Usually dispatched within 3 - 5 business days.
£ 54.00
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.