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

Visar alla böcker från författaren Sydney) Engelhardt, Kai (University of Technology.

2 produkter

Kategorier

2 produkter

Del 47

Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

Av Willem-Paul de Roever, Kai Engelhardt m. fl

Häftad, Engelska, 2008

959 kr

Skickas inom 10-15 vardagar

Del 47

Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

Av Willem-Paul de Roever, Kai Engelhardt m. fl

Inbunden, Engelska, 1998

2 199 kr

Skickas inom 10-15 vardagar