Formal Models of Operating System Kernels > Editions
by Iain D. Craig First published November 1st 2006
Published December 13th 2006
by Springer
2007, Hardcover, 346 pages
Published March 6th 2007
by Springer
2007, Kindle Edition, 346 pages
Published March 6th 2007
by Springer
Kindle Edition
Published January 1st 1807
by Springer
Hardcover, 0 pages
Published September 22nd 2008
by Springer
Paperback, 348 pages
Published October 13th 2010
by Springer
Softcover reprint of hardcover 1st ed. 2007, Paperback, 346 pages
