Testing the automation of real arithmetic in a theorem prover: PVS :: Olga Lightfoot :: Queen Mary University of London, Department of Computer Science :: OBNB, the Open British National Bibliography

Publication Data

Title Testing the automation of real arithmetic in a theorem prover: PVS
Author Olga Lightfoot
Contributor
Publisher Queen Mary University of London, Department of Computer Science
Publication date 0000
Publication location London

Descriptive Notes

Publisher's ref. no.: RR-07-04.
Thesis. Queen Mary, University of London. 2007.

Topics

Integrated circuits :: Verification
Computer software :: Verification
Computers :: Specification
Automatic theorem proving
015325741

Catalogue Data

OBNB ID GBB640216
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.24

ISBD

P1053 164 leaves
P1042 Includes bibliographical references.

Buy a copy

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

Testing the automation of real arithmetic in a theorem prover: PVS by Olga Lightfoot. Published by Queen Mary University of London, Department of Computer Science. Publication and catalogue information, links to buy online and reader comments.