Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts) - Softcover

Back, R. J. R

 
9789061962076: Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts)

Inhaltsangabe

European Book

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.