Formal Refinement for Operating System Keels
Hardcover: 332 pages
Publisher: Springer (July 31, 2007)
Language: English
ISBN-10: 1846289661
未经允许不得转载：Wow! eBook » Formal Refinement for Operating System Keels
Formal Refinement for Operating System Keels