Formal Refinement For Operating System Kernels
Specifiche
CondizioneNuovo
Descrizione
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 executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 583,05€
Prodotti simili
Una selezione di prodotti che potrebbero interessarti.
Formal Refinement For Operating System Kernels
106,99€
Formal Models Of Operating System Kernels
117,69€
Automatic Methods For The Refinement Of System Models
42,79€
Robot Operating System (Ros) For Absolute Beginners
32,89€
Architectural And Operating System Support For Virtual Memory
42,79€
Operating System
12,52€
Network And Operating System Support For Digital Audio And Video
42,79€
Unix Operating System
82,38€