Home › Books › Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels Buy on Amazon

https://www.ebooknetworking.net/books_detail-1849966893.html

Formal Refinement for Operating System Kernels

AuthorIain D. Craig
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
159.00 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Iain D. Craig
PublisherSpringer
ISBN / ASIN1849966893
ISBN-139781849966894
MarketplaceUnited States  🇺🇸

More Books by Iain D. Craig

Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
View
Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
Object-Oriented Programming Languages: Interpretation …
View
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
View
Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
View
Virtual Machines
Virtual Machines
View
Virtual Machines
Virtual Machines
View
Programming in Dylan
Programming in Dylan
View
Donate to EbookNetworking
Prev
Next