Hoppa till sidans huvudinnehåll

Sydney) Engelhardt, Kai (University of Technology - Böcker

Visar alla böcker från författaren Sydney) Engelhardt, Kai (University of Technology.
2 produkter
Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

AvWillem-Paul de Roever,Kai Engelhardt,Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel,Sydney) Engelhardt, Kai (University of Technology

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

AvWillem-Paul de Roever,Kai Engelhardt,Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel,Sydney) Engelhardt, Kai (University of Technology,W. Deroever,W. -P De Roever,Kai Englehardt

Inbunden, Engelska, 1998

2 129 kr

Skickas inom 7-10 vardagar