We a good story
Quick delivery in the UK

Books by Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Filter
Filter
Sort bySort Popular
  • - Introduction to Compositional and Non-compositional Methods
    by Enschede, Willem-Paul de Roever, Frank de Boer, et al.
    £66.99 - 204.99

    This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.