Formal verification of machine-code programs :: Magnus O. Myreen :: ISBN 9781906124816 :: University of Cambridge, Computer Laboratory, Trinity College 2008 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal verification of machine-code programs
Author Magnus O. Myreen
Contributors , Trinity College, British Computer Society, Council of Professors and Heads of Computing
Publisher University of Cambridge, Computer Laboratory, Trinity College
Publication date 2008
Publication location Cambridge
Language English

Descriptive Notes

"December 2008."
"This dissertation is submitted for the degree of doctor of philosophy."
"Supported by BCS, CPHC"--P. [4] of cover.

Topics

Computer software :: Verification

Catalogue Data

OBNB ID GBB227851
ISBN 10 1906124817
ISBN 13 9781906124816
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 131 p.
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:

Formal verification of machine-code programs by Magnus O. Myreen. ISBN 9781906124816. Published by University of Cambridge, Computer Laboratory, Trinity College in 2008. Publication and catalogue information, links to buy online and reader comments.