An edition of Proving operating systems correct (1983)

Proving operating systems correct

by

Cover of: Proving operating systems correct by Richard Alan Karp, Richard Alan Karp
Preview
Borrow

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 5, 2010 | History
Edit
An edition of Proving operating systems correct (1983)

Proving operating systems correct

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
UMI Research Press, UMI Research Press,U.S.
Language
English
Pages
161

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer programs, Operating systems (Computers), Verification
Edition Availability
Cover of: Proving operating systems correct
Proving operating systems correct
1983, UMI Research Press, UMI Research Press,U.S.
in English

Add another edition?

Book Details

Edition Notes

Bibliography: p. [157]-158.
Revision of thesis (doctoral--Stanford University, 1980)
Includes index.

Published in
Ann Arbor, Mich
Series
Computer Science., no. 16

Classifications

Dewey Decimal Class
001.64/2
Library of Congress
QA76.6 .K348 1983, QA76.6 .K348 1982

The Physical Object

Pagination
viii, 161 p. ;
Number of pages
161

Edition Identifiers

Open Library
OL3493477M
Internet Archive
provingoperating0000karp
ISBN 10
0835713652
LCCN
82013378
OCLC/WorldCat
8670152
Goodreads
2797200

Work Identifiers

Work ID
OL5905253W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON