Fortæl dine venner om denne vare:
Formal Refinement for Operating System Kernels Iain D. Craig Softcover reprint of hardcover 1st ed. 2007 edition
Pris
DKK 863
Bestilles fra fjernlager
Forventes klar til forsendelse 29. sep. - 5. okt.
Modtag notifikation om nye Iain D. Craig udgivelser
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Formal Refinement for Operating System Kernels
Iain D. Craig
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.
332 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 13. oktober 2010 |
| ISBN13 | 9781849966894 |
| Forlag | Springer London Ltd |
| Antal sider | 332 |
| Mål | 155 × 235 × 18 mm · 489 g |
| Sprog | Engelsk |
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/927/9781849965927.jpg?iain-d-craig-2010-formal-models-of-operating-system-kernels-paperback-bog&class=scaled&v=1408606188)
![Cover for Iain D. Craig · The Interpretation of Object-oriented Programming Languages (Paperback Bog) [2nd Ed. 2002 edition] (2001)](https://imusic.b-cdn.net/images/item/original/472/9781852335472.jpg?iain-d-craig-2001-the-interpretation-of-object-oriented-programming-languages-paperback-bog&class=scaled&v=1447078472)
![Cover for Iain D. Craig · Programming in Dylan (Paperback Bog) [Softcover reprint of the original 1st ed. 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/535/9783540760535.jpg?iain-d-craig-1996-programming-in-dylan-paperback-bog&class=scaled&v=1436987797)
![Cover for Michael Strupp · Ocular Motor Disorders and Vertigo: Diagnosis and Management (Paperback Bog) [2023 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbook of Remote Biometrics: For Surveillance and Security - Advances in Computer Vision and Pattern Recognition (Hardcover bog) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9781447173403.jpg?2027-handbook-of-remote-biometrics-for-surveillance-and-security-advances-in-computer-vision-and-pattern-recognition-hardcover-bog&class=scaled&v=1692375324)
![Cover for Sandra Furterer · Lean Six Sigma for the Healthcare Enterprise: Methods, Tools and Applications (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/169/9781447176169.jpg?sandra-furterer-2026-lean-six-sigma-for-the-healthcare-enterprise-methods-tools-and-applications-hardcover-bog&class=scaled&v=1777979326)
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1759173936)
![Cover for Stephen Goundrey-Smith · Information Technology in Pharmacy: An Integrated Approach - Health Informatics (Hardcover bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/121/9781447176121.jpg?stephen-goundrey-smith-2026-information-technology-in-pharmacy-an-integrated-approach-health-informatics-hardcover-bog&class=scaled&v=1778115485)
![Cover for Jon Peddie · The History of Visual Magic in Computers: How it led to AI (Paperback Bog) [Second Edition 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/520/9781447175520.jpg?jon-peddie-2026-the-history-of-visual-magic-in-computers-how-it-led-to-ai-paperback-bog&class=scaled&v=1751968510)
![Cover for M. A. Al-Gwaiz · Sturm–Liouville Theory and its Applications - Springer Undergraduate Mathematics Series (Paperback Bog) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/091/9781447176091.jpg?m-a-al-gwaiz-2026-sturm-liouville-theory-and-its-applications-springer-undergraduate-mathematics-series-paperback-bog&class=scaled&v=1760968453)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Paperback Bog) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/384/9781447175384.jpg?robert-d-crapnell-2025-the-handbook-of-graphene-electrochemistry-paperback-bog&class=scaled&v=1760728041)
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Paperback Bog) [Seventh Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/490/9781447175490.jpg?john-vince-2025-mathematics-for-computer-graphics-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1735144367)
![Cover for Raul Poler · Operations Research Problems: Statements and Solutions (Hardcover bog) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/452/9781447175452.jpg?raul-poler-2025-operations-research-problems-statements-and-solutions-hardcover-bog&class=scaled&v=1735155141)
![Cover for Nigel Cross · Designerly Ways of Knowing and Thinking (Hardcover bog) [Second Edition 2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/407/9781447175407.jpg?nigel-cross-2024-designerly-ways-of-knowing-and-thinking-hardcover-bog&class=scaled&v=1750950288)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Hardcover bog) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/353/9781447175353.jpg?robert-d-crapnell-2024-the-handbook-of-graphene-electrochemistry-hardcover-bog&class=scaled&v=1758025341)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Paperback Bog) [Second Edition 2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/339/9781447175339.jpg?marco-cantamessa-2024-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-paperback-bog&class=scaled&v=1749948978)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Hardcover bog) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/261/9781447175261.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-hardcover-bog&class=scaled&v=1670069382)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Paperback Bog) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/9781447175292.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-paperback-bog&class=scaled&v=1694243460)
![Cover for Hoang Pham · Springer Handbook of Engineering Statistics - Springer Handbooks (Hardcover bog) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/025/9781447175025.jpg?hoang-pham-2023-springer-handbook-of-engineering-statistics-springer-handbooks-hardcover-bog&class=scaled&v=1694227221)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Hardcover bog) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/308/9781447175308.jpg?marco-cantamessa-2023-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-hardcover-bog&class=scaled&v=1680524706)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Paperback Bog) [Second Edition 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9781447175155.jpg?tomayess-issa-2023-sustainable-design-hci-usability-and-environmental-concerns-paperback-bog&class=scaled&v=1694231226)
![Cover for John Vince · Quaternions for Computer Graphics (Paperback Bog) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/117/9781447175117.jpg?john-vince-2022-quaternions-for-computer-graphics-paperback-bog&class=scaled&v=1694731004)
![Cover for John Vince · Vector Analysis for Computer Graphics (Paperback Bog) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/070/9781447175070.jpg?john-vince-2022-vector-analysis-for-computer-graphics-paperback-bog&class=scaled&v=1654415260)
![Cover for Siegfried Bosch · Algebraic Geometry and Commutative Algebra - Universitext (Paperback Bog) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/223/9781447175223.jpg?siegfried-bosch-2022-algebraic-geometry-and-commutative-algebra-universitext-paperback-bog&class=scaled&v=1694650369)
![Cover for Case-Based Clinical Cardiology (Paperback Bog) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781447174981.jpg?2022-case-based-clinical-cardiology-paperback-bog&class=scaled&v=1749418573)
![Cover for Golshan Latifi · In Vivo Confocal Microscopy in Eye Disease (Paperback Bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/162/9781447175162.jpg?golshan-latifi-2022-in-vivo-confocal-microscopy-in-eye-disease-paperback-bog&class=scaled&v=1749984718)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Hardcover bog) [Second Edition 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/124/9781447175124.jpg?tomayess-issa-2022-sustainable-design-hci-usability-and-environmental-concerns-hardcover-bog&class=scaled&v=1646023933)
![Cover for John Vince · Quaternions for Computer Graphics (Hardcover bog) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/087/9781447175087.jpg?john-vince-2021-quaternions-for-computer-graphics-hardcover-bog&class=scaled&v=1625428011)
![Cover for Bone Tumors: Diagnosis and Therapy Today (Hardcover bog) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/998/9781447174998.jpg?2021-bone-tumors-diagnosis-and-therapy-today-hardcover-bog&class=scaled&v=1615222868)
![Cover for John Vince · Vector Analysis for Computer Graphics (Hardcover bog) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/049/9781447175049.jpg?john-vince-2021-vector-analysis-for-computer-graphics-hardcover-bog&class=scaled&v=1612619013)
![Cover for Case-Based Clinical Cardiology (Hardcover bog) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/950/9781447174950.jpg?2021-case-based-clinical-cardiology-hardcover-bog&class=scaled&v=1609102883)
![Cover for Subhes C. Bhattacharyya · Energy Economics: Concepts, Issues, Markets and Governance (Paperback Bog) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/707/9781447174707.jpg?subhes-c-bhattacharyya-2020-energy-economics-concepts-issues-markets-and-governance-paperback-bog&class=scaled&v=1608767777)
![Cover for Ke-Lin Du · Neural Networks and Statistical Learning (Paperback Bog) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/547/9781447174547.jpg?ke-lin-du-2020-neural-networks-and-statistical-learning-paperback-bog&class=scaled&v=1605482701)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 1: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Paperback Bog) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/462/9781447174462.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-1-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-paperback-bog&class=scaled&v=1694495642)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 2: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Paperback Bog) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/509/9781447174509.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-2-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-paperback-bog&class=scaled&v=1612142376)