We a good story
Quick delivery in the UK

Data Refinement

- Model-Oriented Proof Methods and their Comparison

About Data Refinement

Graduate text in formal methods in computer science.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521103503
  • Binding:
  • Paperback
  • Pages:
  • 436
  • Published:
  • December 17, 2008
  • Dimensions:
  • 229x151x27 mm.
  • Weight:
  • 660 g.
Delivery: 1-2 weeks
Expected delivery: November 29, 2024

Description of Data Refinement

Graduate text in formal methods in computer science.

User ratings of Data Refinement



Find similar books
The book Data Refinement can be found in the following categories:

Join thousands of book lovers

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