Formal Refinement for Operating System Kernels Plus de livres similaires

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
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
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2009
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2010
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
2007