Enlarge

Program verification using Ada

Andrew D. McGettrick

Publication Data

Title Program verification using Ada
Author Andrew D. McGettrick
Publisher Cambridge University Press
Publication date 1982
Publication location Cambridge
Language English

Descriptive Notes

Bibliography: p335-339. _ Includes index.

Topics

Computer programs :: Verification
Ada (Computer program language)

Catalogue Data

OBNB ID GB8212692
ISBN 10 0521242150
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xii,345p.

Buy a copy

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

Program verification using Ada by Andrew D. McGettrick. ISBN 0521242150. Published by Cambridge University Press in 1982. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.