GRATIS¹ Geschenk für Sie!

Formal Refinement for Operating System Kernels

(Sprache: Englisch)
 
 
Merken
Merken
 
 
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 27855444

Buch (Kartoniert) 109.99
Jetzt vorbestellen
  • Lastschrift, Kreditkarte, Paypal, Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
Kommentar zu "Formal Refinement for Operating System Kernels"
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •