Formal Refinement for Operating System Kernels

View on Open Library

Formal Refinement for Operating System Kernels

by Iain D. Craig

No reviews yet

First published: 2007 1 language ISBN: 9781846289675

Subjects

Operating systems (Computers) Software engineering Operating systems (computers)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Iain D. Craig

Formal Models of Operating System Kernels

Formal Models of Operating System Kernel...

Object-Oriented Programming Languages

Object-Oriented Programming Languages

Virtual Machines

Virtual Machines

Programming in Dylan

Programming in Dylan

Formal Specification of Advanced AI Architectures

Formal Specification of Advanced AI Arch...

Formal Specification of Advanced Ai Architectures

Formal Specification of Advanced Ai Arch...

You Might Also Like

More in Operating systems (C...

The Autobiography of Benjamin Franklin

The Autobiography of Benjamin Franklin

Benjamin Franklin

Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon

Mastering today's software

Mastering today's software

Edward G. Martin

Upgrading and repairing PCs

Upgrading and repairing PCs

Scott Mueller

I-Series

Stephen Haag

Defense acquisitions

Defense acquisitions

United States. General Accounting Office