We a good story
Quick delivery in the UK

Books by Zohar Manna

Filter
Filter
Sort bySort Popular
  • - Decision Procedures with Applications to Verification
    by Zohar Manna & Aaron R. Bradley
    £63.49

    Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.

  • - Specification
    by Zohar Manna & Amir Pnueli
    £104.49

    Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Join thousands of book lovers

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