Nicht lieferbar
Correctness Preserving Program Refinements: Proof Theory and Applications

Correctness Preserving Program Refinements: Proof Theory and Applications

Versandkostenfrei!
Nicht lieferbar