Formal Refinement for Operating System Kernels - Brossura

Craig, Iain D.

 
9781848006621: Formal Refinement for Operating System Kernels
Brossura
ISBN 10: 1848006624 ISBN 13: 9781848006621
Casa editrice: Springer, 2008

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
1848006624
ISBN 13 
9781848006621
Rilegatura
Taschenbuch
Numero di pagine
352
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9781846289668: Formal Refinement for Operating System Kernels

Edizione in evidenza

ISBN 10:  1846289661 ISBN 13:  9781846289668
Casa editrice: Springer-Verlag New York Inc, 2007
Rilegato