Items related to Correctness preserving program refinements: Proof theory...

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)

This specific ISBN edition is currently not available.

Synopsis

European Book

"synopsis" may belong to another edition of this title.