Formal Refinement for Operating System Kernels - Tapa blanda

Craig, Iain D.

 
9781848006621: Formal Refinement for Operating System Kernels
Tapa blanda
ISBN 10: 1848006624 ISBN 13: 9781848006621
Editorial: Springer, 2008

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
1848006624
ISBN 13 
9781848006621
Encuadernación
Taschenbuch
Número de páginas
352
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781846289668: Formal Refinement for Operating System Kernels

Edición Destacada

ISBN 10:  1846289661 ISBN 13:  9781846289668
Editorial: Springer, 2007
Tapa dura