Hardback
Add to list Added to list Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany),Kai Engelhardt (University of Technology, Sydney),Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Graduate text in formal methods in computer science.
Available to order, ships in approx 2 weeksAvailable to order