Formal Refinement for Operating System Kernels - Couverture souple

Craig, Iain D.

 
9781848006621: Formal Refinement for Operating System Kernels
Couverture souple
ISBN 10 : 1848006624 ISBN 13 : 9781848006621
Editeur : Springer, 2008

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
1848006624
ISBN 13 
9781848006621
Reliure
Taschenbuch
Nombre de pages
352
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781846289668: Formal Refinement for Operating System Kernels

Edition présentée

ISBN 10 :  1846289661 ISBN 13 :  9781846289668
Editeur : Springer London Ltd, 2007
Couverture rigide