Enlarge

The foundations of program verification

Jacques Loeckx

Publication Data

Title The foundations of program verification
Author Jacques Loeckx
Contributors Kurt Sieber, Ryan D. Stansifer
Publisher Teubner
Publication date 1984
Publication location Stuttgart
Language English

Descriptive Notes

Bibliography: p222-226. _ Includes index.

Topics

Computer programs :: Verification

Catalogue Data

OBNB ID GB8411367
ISBN 10 047190323X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 001.6424

ISBD

P1053 ix,230p.

Buy a copy

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

The foundations of program verification by Jacques Loeckx. ISBN 047190323X. Published by Teubner in 1984. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.