Programme Construction and Verification - Softcover

Backhouse, Roland C.

 
9780137291533: Programme Construction and Verification
Softcover
ISBN 10: 0137291531 ISBN 13: 9780137291533
Publisher: Prentice Hall, 1986

Synopsis

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

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

Publisher
Prentice Hall
Publication date
1986
Language
English
ISBN 10 
0137291531
ISBN 13 
9780137291533
Binding
Paperback
Number of pages
336

Other Popular Editions of the Same Title

9780137291465: Program Construction and Verification

Featured Edition

ISBN 10:  0137291469 ISBN 13:  9780137291465
Publisher: Prentice-Hall, 1986
Softcover