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
Author(s):
ISBN:
9781846289668
(ISBN10: 1846289661)
ASIN:
1846289661
Edition language:
English
Average rating:
4.00
(1 rating)
Published July 18th 2007
by Springer
2007, Kindle Edition, 347 pages
Author(s):
ASIN:
B00FBSMX0G
Edition language:
English
Average rating:
0.0
(0 ratings)
Published July 18th 2007
by Springer
Kindle Edition
Author(s):
ASIN:
B0DDZVXZB2
Edition language:
English
Average rating:
0.0
(0 ratings)
Published August 25th 2008
by Springer
Paperback, 352 pages
Author(s):
ISBN:
9781848006621
(ISBN10: 1848006624)
ASIN:
1848006624
Edition language:
English
Average rating:
0.0
(0 ratings)
Published October 13th 2010
by Springer
Softcover reprint of hardcover 1st ed. 2007, Paperback, 347 pages
Author(s):
ISBN:
9781849966894
(ISBN10: 1849966893)
ASIN:
1849966893
Edition language:
English
Average rating:
0.0
(0 ratings)
