Releases by De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)

In stock at iMusic Show unavailable items

Cover for De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) · Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2008)

Data Refinement: Model-Oriented ... (2008)

De Roever, Willem-paul (Christia...

Cover for De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) · Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science (Hardcover Book) (1998)

Data Refinement: Model-Oriented ... (1998)

De Roever, Willem-paul (Christia...