Formal Refinement for Operating System Kernels More Books Like This

Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering
Advanced Lectures on Software Engineering
2010
A Practical Introduction to Computer Architecture A Practical Introduction to Computer Architecture
A Practical Introduction to Computer Architecture
2009
The Designer's Guide to VHDL The Designer's Guide to VHDL
The Designer's Guide to VHDL
2001
Virtual Machines Virtual Machines
Virtual Machines
2010
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011
Concurrent Programming: Algorithms, Principles, and Foundations Concurrent Programming: Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations
2012
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
2008
Assembly Language Programming Assembly Language Programming
Assembly Language Programming
2013
Runtime Verification Runtime Verification
Runtime Verification
2008
Practical Concurrent Haskell Practical Concurrent Haskell
Practical Concurrent Haskell
2017
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
2008
Specification of Software Systems Specification of Software Systems
Specification of Software Systems
2011
Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
2018
Engineering a Compiler Engineering a Compiler
Engineering a Compiler
2022
Multicore and GPU Programming Multicore and GPU Programming
Multicore and GPU Programming
2022