W. Deroever - Böcker

Visar alla böcker från författaren W. Deroever.

1 produkt

Kategorier

1 produkt

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