Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Barcode: 09781846289675
Brand: Springer London
Best Priced
sold by Hive Books
Hive Books
£76.08
Visit Store
Hive Books
Hive Books
£76.08
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer London

Strategic Decision Making : Applying the Analytic Hierarchy Process
Strategic Decision Making : Applying the Analytic Hierarchy Process
from £76.08
Design Representation
Design Representation
from £76.08
Corrosion and Protection
Corrosion and Protection
from £169.58
Handbook of Reliability Engineering
Handbook of Reliability Engineering
from £152.58
Maya Manual
Maya Manual
from £38.24
Managing Mathematical Projects - with Success!
Managing Mathematical Projects - with Success!
from £29.74
Histopathology Specimens : Clinical, Pathological and Laboratory Aspects
Histopathology Specimens : Clinical, Pathological and Laboratory Aspects
from £61.20
Inside the Smart Home
Inside the Smart Home
from £76.08
Intelligent Macromolecules for Smart Devices : From Materials Synthesis to Device Applications
Intelligent Macromolecules for Smart Devices : From Materials Synthesis to Device Applications
from £212.08
IPA - Concepts and Applications in Engineering
IPA - Concepts and Applications in Engineering
from £76.08
The Tourniquet Manual - Principles and Practice
The Tourniquet Manual - Principles and Practice
from £76.08
Control of Robot Manipulators in Joint Space
Control of Robot Manipulators in Joint Space
from £67.58
Observing and Measuring Visual Double Stars
Observing and Measuring Visual Double Stars
from £61.20
Multivariable Control Systems : An Engineering Approach
Multivariable Control Systems : An Engineering Approach
from £55.24
Inhabited Information Spaces : Living with your Data
Inhabited Information Spaces : Living with your Data
from £76.08
Visual Astronomy in the Suburbs : A Guide to Spectacular Viewing
Visual Astronomy in the Suburbs : A Guide to Spectacular Viewing
from £23.79
Shaping the IT Organization - The Impact of Outsourcing and the New Business Model
Shaping the IT Organization - The Impact of Outsourcing and the New Business Model
from £76.08
Navigating the Night Sky : How to Identify the Stars and Constellations
Navigating the Night Sky : How to Identify the Stars and Constellations
from £29.74
Concise Catalog of Deep-sky Objects : Astrophysical Information for 500 Galaxies, Clusters and Nebulae
Concise Catalog of Deep-sky Objects : Astrophysical Information for 500 Galaxies, Clusters and Nebulae
from £30.59
Mathematics for Finance : An Introduction to Financial Engineering
Mathematics for Finance : An Introduction to Financial Engineering
from £61.20

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
from £110.08
Operating System Security
Operating System Security
from £28.04
Industrial Athlete Operating System
Industrial Athlete Operating System
from £8.49
Windows Operating System Fundamentals
Windows Operating System Fundamentals
from £20.14
Windows Operating System Fundamentals
Windows Operating System Fundamentals
from £20.14
Control-Based Operating System Design
Control-Based Operating System Design
from £139.50
Linux with Operating System Concepts
Linux with Operating System Concepts
from £74.69
Linux with Operating System Concepts
Linux with Operating System Concepts
from £74.69
Operating System Concepts, Enhanced eText
Operating System Concepts, Enhanced eText
from £31.41
Linux with Operating System Concepts
Linux with Operating System Concepts
from £82.75
Architectural and Operating System Support for Virtual Memory
Architectural and Operating System Support for Virtual Memory
from £38.24
Networked : The New Social Operating System
Networked : The New Social Operating System
from £20.16
Silberschatz's Operating System Concepts, Global Edition
Silberschatz's Operating System Concepts, Global Edition
from £43.79
Basic Principles of an Operating System
Basic Principles of an Operating System
from £8.39
Loophole to Happiness : An Operating System for Your Mind
Loophole to Happiness : An Operating System for Your Mind
from £7.92
Kernels For Structured Data
Kernels For Structured Data
from £26.40
File Management Made Easy : Windows Operating System
File Management Made Easy : Windows Operating System
from £2.79
Comprehensive Introduction to Vista Operating System, A
Comprehensive Introduction to Vista Operating System, A
from £37.50
Kernels: Stories
Kernels: Stories
from £3.30
(1kg) Natural Apricot Kernels - Kernels - Seeds By Pakwatandriedfruits UK
(1kg) Natural Apricot Kernels - Kernels - Seeds By Pakwatandriedfruits UK
from £21.00