Hoppa till sidans huvudinnehåll

Kai Engelhardt - Böcker

Visar alla böcker från författaren Kai Engelhardt.
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 m. fl.

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

AvWillem-Paul de Roever,Kai Engelhardt m. fl.

Inbunden, Engelska, 1998

2 179 kr

Skickas inom 10-15 vardagar