Enlarge

The deductive foundations of computer programming

Zohar Manna

Publication Data

Title The deductive foundations of computer programming
Author Zohar Manna
Contributor Richard Waldinger
Publisher Addison-Wesley
Publication date 1993
Language English

Topics

Computer programming
007355463

Catalogue Data

OBNB ID GB9342122
ISBN 10 0201548860
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 519.7

ISBD

P1053 xiv,717p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

The deductive foundations of computer programming by Zohar Manna. ISBN 0201548860. Published by Addison-Wesley in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.