Menu
The foundations of program verification
Enlarge

The foundations of program verification

Jacques Loeckx

Publication Data

Descriptive Notes

Bibliography: p222-226. _ Includes index.

Topics

Catalogue Data

ISBD

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.