Program Construction and Verification - Softcover

Backhouse, Roland C.

 
9780137291465: Program Construction and Verification

Synopsis

Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.

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

Other Popular Editions of the Same Title

9780137291533: Program Construction and Verification

Featured Edition

ISBN 10:  0137291531 ISBN 13:  9780137291533
Publisher: Prentice-Hall International, 1986
Softcover