Formal Refinement for Operating System Kernels - Softcover

Craig, Iain D.

 
9781848006621: Formal Refinement for Operating System Kernels

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9781846289668: Formal Refinement for Operating System Kernels

Vorgestellte Ausgabe

ISBN 10:  1846289661 ISBN 13:  9781846289668
Verlag: Springer, 2007
Hardcover