Formal Refinement for Operating System Kernels 비슷한 책 더 보기

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년