589,61 zł
589,61 zł
-50%
Zbieraj punkty w Klubie Mola Książkowego i kupuj ebooki, audiobooki oraz książki papierowe do 50% taniej.
Dowiedz się więcej.
Dowiedz się więcej.
- Wydawca: Springer London
- Kategoria: Literatura popularnonaukowa
- Język: angielski
- Rok wydania: 2007
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.
Ebooka przeczytasz w dowolnej aplikacji obsługującej format:
0,0
Oceny przyznawane są przez użytkowników Legimi, systemów bibliotecznych i innych serwisów partnerskich. Przyznawanie ocen premiowane jest punktami Klubu Mola Książkowego.
Legimi nie weryfikuje, czy opinie pochodzą od konsumentów, którzy nabyli lub czytali/słuchali daną pozycję, ale usuwa fałszywe opinie, jeśli je wykryje.
