Formal Refinement for Operating System Kernels > Editions
by Iain D. Craig First published July 25th 2007
Published July 31st 2007
by Springer
2007, Hardcover, 347 pages
Published July 18th 2007
by Springer
2007, Kindle Edition, 347 pages
Published July 18th 2007
by Springer
Kindle Edition
Published August 25th 2008
by Springer
Paperback, 352 pages
Published October 13th 2010
by Springer
Softcover reprint of hardcover 1st ed. 2007, Paperback, 347 pages
