Freunden von diesem Artikel berichten:
Formal Refinement for Operating System Kernels Iain D. Craig Softcover reprint of hardcover 1st ed. 2007 edition
Preis
€ 115,49
Bestellware
Lieferdatum: ca. 12. - 26. Aug
Benachrichtigungen über neue Veröffentlichungen von Iain D. Craig erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 13. Oktober 2010 |
| ISBN13 | 9781849966894 |
| Verlag | Springer London Ltd |
| Seitenanzahl | 332 |
| Maße | 155 × 235 × 18 mm · 489 g |
| Sprache | Englisch |
Weitere Titel von Iain D. Craig
Alle anzeigen
![Cover for Iain D. Craig · Formal Models of Operating System Kernels (Taschenbuch) [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-taschenbuch&class=scaled&v=1408606188)
![Cover for Iain D. Craig · The Interpretation of Object-oriented Programming Languages (Taschenbuch) [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-taschenbuch&class=scaled&v=1447078472)
![Cover for Iain D. Craig · Programming in Dylan (Taschenbuch) [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-taschenbuch&class=scaled&v=1436987797)
Mehr vom selben Verlag
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Taschenbuch) [4th ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/929/9781447174929.jpg?max-bramer-2020-principles-of-data-mining-undergraduate-topics-in-computer-science-taschenbuch&class=scaled&v=1589239471)
![Cover for Attila Chikan · Inventories in National Economies: A Cross-Country Analysis of Macroeconomic Data (Taschenbuch) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/356/9781447174356.jpg?attila-chikan-2019-inventories-in-national-economies-a-cross-country-analysis-of-macroeconomic-data-taschenbuch&class=scaled&v=1576226518)
![Cover for Narain Moorjani · Operative Mitral and Tricuspid Valve Surgery (Buch) [1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/034/9781447142034.jpg?narain-moorjani-2019-operative-mitral-and-tricuspid-valve-surgery-buch&class=scaled&v=1603967402)
![Cover for Israel Cesar Lerman · Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering - Advanced Information and Knowledge Processing (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/922/9781447173922.jpg?israel-cesar-lerman-2018-foundations-and-methods-in-combinatorial-and-statistical-data-analysis-and-clustering-advanced-information-and-knowledge-processing-taschenbuch&class=scaled&v=1599903048)
![Cover for James Hirschfeld · General Galois Geometries - Springer Monographs in Mathematics (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/915/9781447173915.jpg?james-hirschfeld-2018-general-galois-geometries-springer-monographs-in-mathematics-taschenbuch&class=scaled&v=1605109793)
![Cover for Emilio Barucci · Financial Markets Theory: Equilibrium, Efficiency and Information - Springer Finance (Gebundenes Buch) [2nd ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/212/9781447173212.jpg?emilio-barucci-2017-financial-markets-theory-equilibrium-efficiency-and-information-springer-finance-gebundenes-buch&class=scaled&v=1514889469)
![Cover for Harold L. Hallock · ACS Without an Attitude - NASA Monographs in Systems and Software Engineering (Gebundenes Buch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/243/9781447173243.jpg?harold-l-hallock-2017-acs-without-an-attitude-nasa-monographs-in-systems-and-software-engineering-gebundenes-buch&class=scaled&v=1503497219)
![Cover for Vilmos Komornik · Topology, Calculus and Approximation - Springer Undergraduate Mathematics Series (Taschenbuch) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/151/9781447173151.jpg?vilmos-komornik-2017-topology-calculus-and-approximation-springer-undergraduate-mathematics-series-taschenbuch&class=scaled&v=1569316505)
![Cover for Adrian David Cheok · Hyperconnectivity - Human-Computer Interaction Series (Taschenbuch) [1st ed. 2016 edition] (2017)](https://imusic.b-cdn.net/images/item/original/090/9781447173090.jpg?adrian-david-cheok-2017-hyperconnectivity-human-computer-interaction-series-taschenbuch&class=scaled&v=1489687854)
![Cover for Yves Coudene · Ergodic Theory and Dynamical Systems - Universitext (Taschenbuch) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/857/9781447172857.jpg?yves-coudene-2016-ergodic-theory-and-dynamical-systems-universitext-taschenbuch&class=scaled&v=1605404608)
![Cover for Francisco J. Valero-Cuevas · Fundamentals of Neuromechanics - Biosystems & Biorobotics (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/891/9781447170891.jpg?francisco-j-valero-cuevas-2016-fundamentals-of-neuromechanics-biosystems-biorobotics-taschenbuch&class=scaled&v=1493137001)
![Cover for Kheng Lim Goh · Discontinuous-Fibre Reinforced Composites: Fundamentals of Stress Transfer and Fracture Mechanics - Engineering Materials and Processes (Gebundenes Buch) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/038/9781447173038.jpg?kheng-lim-goh-2016-discontinuous-fibre-reinforced-composites-fundamentals-of-stress-transfer-and-fracture-mechanics-engineering-materials-and-processes-gebundenes-buch&class=scaled&v=1603941711)
![Cover for Rudolph Frederick Stapelberg · Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design (Taschenbuch) [Softcover reprint of the original 1st ed. 2009 edition] (2016)](https://imusic.b-cdn.net/images/item/original/362/9781447171362.jpg?rudolph-frederick-stapelberg-2016-handbook-of-reliability-availability-maintainability-and-safety-in-engineering-design-taschenbuch&class=scaled&v=1667374924)
![Cover for Walter S. Brainerd · Guide to Fortran 2008 Programming (Taschenbuch) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/898/9781447168898.jpg?walter-s-brainerd-2016-guide-to-fortran-2008-programming-taschenbuch&class=scaled&v=1604780942)
![Cover for David J. Barnes · Guide to Simulation and Modeling for Biosciences - Simulation Foundations, Methods and Applications (Taschenbuch) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/980/9781447168980.jpg?david-j-barnes-2016-guide-to-simulation-and-modeling-for-biosciences-simulation-foundations-methods-and-applications-taschenbuch&class=scaled&v=1605277862)
![Cover for Sandro Corsi · Voltage Control and Protection in Electrical Power Systems: From System Components to Wide-Area Control - Advances in Industrial Control (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/652/9781447171652.jpg?sandro-corsi-2016-voltage-control-and-protection-in-electrical-power-systems-from-system-components-to-wide-area-control-advances-in-industrial-control-taschenbuch&class=scaled&v=1478628210)
![Cover for Designing Socially Embedded Technologies in the Real-World - Computer Supported Cooperative Work (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/157/9781447171157.jpg?2016-designing-socially-embedded-technologies-in-the-real-world-computer-supported-cooperative-work-taschenbuch&class=scaled&v=1604576510)
![Cover for A Multimodal End-2-End Approach to Accessible Computing - Human-Computer Interaction Series (Taschenbuch) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/747/9781447170747.jpg?2016-a-multimodal-end-2-end-approach-to-accessible-computing-human-computer-interaction-series-taschenbuch&class=scaled&v=1621267022)
![Cover for Arthur M. Langer · Guide to Software Development: Designing and Managing the Life Cycle (Gebundenes Buch) [2nd ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/976/9781447167976.jpg?arthur-m-langer-2016-guide-to-software-development-designing-and-managing-the-life-cycle-gebundenes-buch&class=scaled&v=1617887999)
![Cover for Julian Ashbourn · Practical Biometrics: From Aspiration to Implementation (Taschenbuch) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/225/9781447168225.jpg?julian-ashbourn-2016-practical-biometrics-from-aspiration-to-implementation-taschenbuch&class=scaled&v=1508118784)
![Cover for Ming Yang · Energy Efficiency: Benefits for Environment and Society - Green Energy and Technology (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/075/9781447170075.jpg?ming-yang-2016-energy-efficiency-benefits-for-environment-and-society-green-energy-and-technology-taschenbuch&class=scaled&v=1605785886)
![Cover for Longbing Cao · Metasynthetic Computing and Engineering of Complex Systems - Advanced Information and Knowledge Processing (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/624/9781447170624.jpg?longbing-cao-2016-metasynthetic-computing-and-engineering-of-complex-systems-advanced-information-and-knowledge-processing-taschenbuch&class=scaled&v=1545149134)
![Cover for Air Pollution and Health Effects - Molecular and Integrative Toxicology (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/921/9781447170921.jpg?2016-air-pollution-and-health-effects-molecular-and-integrative-toxicology-taschenbuch&class=scaled&v=1583919153)
![Cover for Hong Cheng · Sparse Representation, Modeling and Learning in Visual Recognition: Theory, Algorithms and Applications - Advances in Computer Vision and Pattern Recognition (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/512/9781447172512.jpg?hong-cheng-2016-sparse-representation-modeling-and-learning-in-visual-recognition-theory-algorithms-and-applications-advances-in-computer-vision-and-pattern-recognition-taschenbuch&class=scaled&v=1499119678)
![Cover for Creativity and Innovation Among Science and Art: A Discussion of the Two Cultures (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/013/9781447170013.jpg?2016-creativity-and-innovation-among-science-and-art-a-discussion-of-the-two-cultures-taschenbuch&class=scaled&v=1563544342)
![Cover for Environmental Epigenetics - Molecular and Integrative Toxicology (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/581/9781447172581.jpg?2016-environmental-epigenetics-molecular-and-integrative-toxicology-taschenbuch&class=scaled&v=1481113952)
![Cover for Bernardo Ruggeri · BioH2 & BioCH4 Through Anaerobic Digestion: From Research to Full-scale Applications - Green Energy and Technology (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/833/9781447169833.jpg?bernardo-ruggeri-2016-bioh2-bioch4-through-anaerobic-digestion-from-research-to-full-scale-applications-green-energy-and-technology-taschenbuch&class=scaled&v=1553716432)
![Cover for Creativity in the Digital Age - Springer Series on Cultural Computing (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/475/9781447172475.jpg?2016-creativity-in-the-digital-age-springer-series-on-cultural-computing-taschenbuch&class=scaled&v=1605447765)
![Cover for The Handbook of Service Innovation (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/062/9781447172062.jpg?2016-the-handbook-of-service-innovation-taschenbuch&class=scaled&v=1487062915)
![Cover for Marina Axelson-Fisk · Comparative Gene Finding: Models, Algorithms and Implementation - Computational Biology (Taschenbuch) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/751/9781447168751.jpg?marina-axelson-fisk-2016-comparative-gene-finding-models-algorithms-and-implementation-computational-biology-taschenbuch&class=scaled&v=1496047970)
![Cover for Visual Heritage in the Digital Age - Springer Series on Cultural Computing (Taschenbuch) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/822/9781447170822.jpg?2016-visual-heritage-in-the-digital-age-springer-series-on-cultural-computing-taschenbuch&class=scaled&v=1500208774)
![Cover for Models and Algorithms for Genome Evolution - Computational Biology (Taschenbuch) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/167/9781447170167.jpg?2016-models-and-algorithms-for-genome-evolution-computational-biology-taschenbuch&class=scaled&v=1480245960)
Alle Titel von Iain D. Craig ansehen ( u. a. Taschenbuch und Gebundenes Buch )