Lets Explore,
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

(Digital (delivered electronically))

Iain D Craig,

Springerverlag London Limited (Publisher)

Published
2007
Reviews
0
Mathematics and ScienceMathematicsDiscrete mathematics

Ships within 1-2 days

Out Of Stock

₹7087.00
₹7305.40
3% off
Aims to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them. This book shows what can be inferred about a design and also discusses the properties of data structures and mechanisms.

More books by Iain D Craig

Cover of Virtual Machines

Virtual Machines

Iain D. Craig

₹17259.0₹16914
Cover of Virtual Machines

Virtual Machines

Iain D. Craig

₹16799.0₹10266
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D. Craig

₹11199.0₹6844
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D. Craig

₹16799.0₹10266
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D. Craig

₹4550.0₹4414
Cover of Object-Oriented Programming Languages: Interpretation

Object-Oriented Programming Languages: Interpretation

Iain D. Craig

₹1373.0₹1332
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D. Craig

₹5368.0₹5207
Cover of Interpretation of Object-oriented Programming Languages

Interpretation of Object-oriented Programming Languages

Iain D. Craig

₹1232.0₹1196
Cover of Middleware

Middleware

Iain D. Craig

₹5082.0₹4930
Cover of Programming in Dylan

Programming in Dylan

Iain D. Craig

₹5599.0₹3476
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹2201.45₹2136
Cover of Object-Oriented Programming Languages

Object-Oriented Programming Languages

Iain D Craig

₹2201.45₹2136
Cover of Virtual Machines

Virtual Machines

Iain D Craig

₹6028.6₹5848
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹7305.4₹7087
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹2201.45₹2136
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹0.0
Cover of Programming in Dylan

Programming in Dylan

Iain D Craig

₹0.0
Cover of Formal Specification of Advanced Problems Solving Architectures

Formal Specification of Advanced Problems Solving Architectures

Iain D. Craig

₹4590.29₹4453
Cover of Formal Specification of Advanced AI Architectures

Formal Specification of Advanced AI Architectures

Iain D. Craig

₹3255.58₹3158
Cover of The Cassandra Architecture

The Cassandra Architecture

Iain D. Craig

₹7298.28₹7080
Cover of Cassandra Architecture

Cassandra Architecture

Iain D. Craig

₹0.0
Cover of Logical Tools for Temporal Knowledge Representation

Logical Tools for Temporal Knowledge Representation

H. Bestougeff

₹7404.93₹7183
Cover of The Interpretation of Object-Oriented Programming Languages

The Interpretation of Object-Oriented Programming Languages

Iain D. Craig

₹7514.0₹7325

Similar Products

Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹2201.45₹2136
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D. Craig

₹16799.0₹10266
Cover of Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

Iain D. Craig

₹4550.0₹4414
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹0.0
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹2201.45₹2136
Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

Iain D Craig

₹0.0
Vidya AI