Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Häftad, Engelska, 2008
1 239 kr
Skickas inom 5-8 vardagar
Kai Engelhardt – författare
Visar alla böcker från författaren Kai Engelhardt.
2 produkter
2 produkter
- Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
Inbunden, Engelska, 19982 819 kr
Skickas inom 5-8 vardagar