Formal Refinement for Operating System Kernels
ISBN
9781846289675
Formal Refinement for Operating System Kernels is a operating systems, software engineering book by Iain D. Craig.
Discover Formal Refinement for Operating System Kernels by Iain D. Craig, operating systems.
About the Author
is the author of Formal Refinement for Operating System Kernels. Browse their full catalog on Booklogr.
Explore more books by Iain D. Craig →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Formal Refinement for Operating System Kernels?+
Formal Refinement for Operating System Kernels is a Operating systems, Software engineering book.
Who wrote Formal Refinement for Operating System Kernels?+
Formal Refinement for Operating System Kernels was written by Iain D. Craig.