Formal Refinement of Operating System Kernels

Free Download

Authors:

ISBN: 1846289661, 978-1-84628-966-8

Size: 2 MB (2462816 bytes)

Pages: 343/343

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Iain D. Craig1846289661, 978-1-84628-966-8

Reviews

There are no reviews yet.

Be the first to review “Formal Refinement of Operating System Kernels”

Related products

Shopping Cart
Scroll to Top