Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel - Böcker
Visar alla böcker från författaren Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel.
2 produkter
2 produkter
Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Häftad, Engelska, 2008
949 kr
Skickas inom 10-15 vardagar
Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Inbunden, Engelska, 1998
2 179 kr
Skickas inom 10-15 vardagar