Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
All Editions of Formal Methods and Software Engineering By International Conference on Formal Engineering Methods, Jim Davies, Wolfram Schulte, Mike Barnett
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
