Pastāsti draugiem par šo preci:
Formal Models of Operating System Kernels Iain D. Craig 2007 edition
Cena
€ 181,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 10. - 24. aug.
Saņemiet paziņojumus par jauniem Iain D. Craig izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Formal Models of Operating System Kernels
Iain D. Craig
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels;
333 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2006. gada 13. decembris |
| ISBN13 | 9781846283758 |
| Izdevēji | Springer London Ltd |
| Lapas | 333 |
| Izmēri | 155 × 235 × 20 mm · 594 g |
| Valoda | Angļu |
Vairāk no Iain D. Craig
Rādīt visu![Cover for Iain D. Craig · Formal Refinement for Operating System Kernels (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/668/9781846289668.jpg?iain-d-craig-2007-formal-refinement-for-operating-system-kernels-hardcover-book&class=scaled&v=1542757227)
Vairāk no tā paša izdevēja
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Paperback Book) [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-paperback-book&class=scaled&v=1589239471)
![Cover for Attila Chikan · Inventories in National Economies: A Cross-Country Analysis of Macroeconomic Data (Paperback Book) [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-paperback-book&class=scaled&v=1576226518)
![Cover for Narain Moorjani · Operative Mitral and Tricuspid Valve Surgery (Book) [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-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1599903048)
![Cover for James Hirschfeld · General Galois Geometries - Springer Monographs in Mathematics (Paperback Book) [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-paperback-book&class=scaled&v=1605109793)
![Cover for Emilio Barucci · Financial Markets Theory: Equilibrium, Efficiency and Information - Springer Finance (Hardcover Book) [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-hardcover-book&class=scaled&v=1514889469)
![Cover for Harold L. Hallock · ACS Without an Attitude - NASA Monographs in Systems and Software Engineering (Hardcover Book) [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-hardcover-book&class=scaled&v=1503497219)
![Cover for Vilmos Komornik · Topology, Calculus and Approximation - Springer Undergraduate Mathematics Series (Paperback Book) [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-paperback-book&class=scaled&v=1569316505)
![Cover for Adrian David Cheok · Hyperconnectivity - Human-Computer Interaction Series (Paperback Book) [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-paperback-book&class=scaled&v=1489687854)
![Cover for Yves Coudene · Ergodic Theory and Dynamical Systems - Universitext (Paperback Book) [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-paperback-book&class=scaled&v=1605404608)
![Cover for Francisco J. Valero-Cuevas · Fundamentals of Neuromechanics - Biosystems & Biorobotics (Paperback Book) [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-paperback-book&class=scaled&v=1493137001)
![Cover for Kheng Lim Goh · Discontinuous-Fibre Reinforced Composites: Fundamentals of Stress Transfer and Fracture Mechanics - Engineering Materials and Processes (Hardcover Book) [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-hardcover-book&class=scaled&v=1603941711)
![Cover for Rudolph Frederick Stapelberg · Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design (Paperback Book) [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-paperback-book&class=scaled&v=1667374924)
![Cover for Walter S. Brainerd · Guide to Fortran 2008 Programming (Paperback Book) [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-paperback-book&class=scaled&v=1604780942)
![Cover for David J. Barnes · Guide to Simulation and Modeling for Biosciences - Simulation Foundations, Methods and Applications (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1478628210)
![Cover for Designing Socially Embedded Technologies in the Real-World - Computer Supported Cooperative Work (Paperback Book) [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-paperback-book&class=scaled&v=1604576510)
![Cover for A Multimodal End-2-End Approach to Accessible Computing - Human-Computer Interaction Series (Paperback Book) [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-paperback-book&class=scaled&v=1621267022)
![Cover for Arthur M. Langer · Guide to Software Development: Designing and Managing the Life Cycle (Hardcover Book) [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-hardcover-book&class=scaled&v=1617887999)
![Cover for Julian Ashbourn · Practical Biometrics: From Aspiration to Implementation (Paperback Book) [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-paperback-book&class=scaled&v=1508118784)
![Cover for Ming Yang · Energy Efficiency: Benefits for Environment and Society - Green Energy and Technology (Paperback Book) [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-paperback-book&class=scaled&v=1605785886)
![Cover for Longbing Cao · Metasynthetic Computing and Engineering of Complex Systems - Advanced Information and Knowledge Processing (Paperback Book) [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-paperback-book&class=scaled&v=1545149134)
![Cover for Air Pollution and Health Effects - Molecular and Integrative Toxicology (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1499119678)
![Cover for Creativity and Innovation Among Science and Art: A Discussion of the Two Cultures (Paperback Book) [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-paperback-book&class=scaled&v=1563544342)
![Cover for Environmental Epigenetics - Molecular and Integrative Toxicology (Paperback Book) [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-paperback-book&class=scaled&v=1481113952)
![Cover for Bernardo Ruggeri · BioH2 & BioCH4 Through Anaerobic Digestion: From Research to Full-scale Applications - Green Energy and Technology (Paperback Book) [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-paperback-book&class=scaled&v=1553716432)
![Cover for Creativity in the Digital Age - Springer Series on Cultural Computing (Paperback Book) [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-paperback-book&class=scaled&v=1605447765)
![Cover for The Handbook of Service Innovation (Paperback Book) [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-paperback-book&class=scaled&v=1487062915)
![Cover for Marina Axelson-Fisk · Comparative Gene Finding: Models, Algorithms and Implementation - Computational Biology (Paperback Book) [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-paperback-book&class=scaled&v=1496047970)
![Cover for Visual Heritage in the Digital Age - Springer Series on Cultural Computing (Paperback Book) [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-paperback-book&class=scaled&v=1500208774)
![Cover for Models and Algorithms for Genome Evolution - Computational Biology (Paperback Book) [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-paperback-book&class=scaled&v=1480245960)
Skatīt visus Iain D. Craig ( piem., Paperback Book un Hardcover Book )