Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

by Willem-PauldeRoever (Author), KaiEngelhardt (Author)

• New

  Paperback
  2008

  $60.99

  Graduate text in formal methods in computer science.

• New

  Hardcover
  1998

  $157.09

  Graduate text in formal methods in computer science.