An edition of Formal Refinement for Operating System Kernels (2007)

Formal Refinement for Operating System Kernels

1 edition

by

Cover of: Formal Refinement for Operating System Kernels by Iain D. Craig, Iain D. Craig
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Formal Refinement for Operating System Kernels (2007)

Formal Refinement for Operating System Kernels

1 edition

by

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

Publish Date
Publisher
Springer
Language
English
Pages
336

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Operating systems (Computers), Software engineering, Operating systems (computers)
Edition Availability
Cover of: Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
July 25, 2007, Springer
Hardcover in English - 1 edition
Cover of: Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
2007, Springer
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA76.76.O63 C7244 2007, QA75.5-76.95

The Physical Object

Format
Hardcover
Number of pages
336
Dimensions
9.3 x 6.4 x 1 inches
Weight
1.4 pounds

Edition Identifiers

Open Library
OL11914467M
Internet Archive
formalrefinement00crai
ISBN 10
1846289661
ISBN 13
9781846289668
LCCN
2007931774
OCLC/WorldCat
137313627
Library Thing
6363752
Goodreads
2222414

Work Identifiers

Work ID
OL9032154W

Source records

amazon.com record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Internet Archive item record
Promise Item
marc_nuls MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
June 30, 2019 Edited by MARC Bot import existing book
June 30, 2019 Edited by MARC Bot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page