We a good story
Quick delivery in the UK

Books by Peter Csaba Olveczky

Filter
Filter
Sort bySort Popular
  • Save 16%
    - A Formal Methods Approach Based on Executable Modeling in Maude
    by Peter Csaba Olveczky
    £50.49

    This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Join thousands of book lovers

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