Enlarge

Program verification

Nissim Francez

Publication Data

Title Program verification
Author Nissim Francez
Publisher Addison-Wesley Pub. Co
Publication date 1992
Publication location Wokingham
Language English

Descriptive Notes

Includes index.

Topics

007355083

Catalogue Data

OBNB ID GB9311280
ISBN 10 0201416085
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xi, 312 p.

Buy a copy

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

Program verification by Nissim Francez. ISBN 0201416085. Published by Addison-Wesley Pub. Co in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.