Sydney) Engelhardt, Kai (University of Technology - Böcker
Visar alla böcker från författaren Sydney) Engelhardt, Kai (University of Technology.
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