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:
  • 9780521641708
  • Binding:
  • Hardback
  • Pages:
  • 436
  • Published:
  • December 2, 1998
  • Dimensions:
  • 159x236x32 mm.
  • Weight:
  • 845 g.
Delivery: 2-3 weeks
Expected delivery: December 5, 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.