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
929 kr
Skickas inom 7-10 vardagar
Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Inbunden, Engelska, 1998
2 129 kr
Skickas inom 7-10 vardagar