Formal Refinement for Operating System Kernels المزيد من الكتب المشابهة

Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering
Advanced Lectures on Software Engineering
٢٠١٠
A Practical Introduction to Computer Architecture A Practical Introduction to Computer Architecture
A Practical Introduction to Computer Architecture
٢٠٠٩
The Designer's Guide to VHDL The Designer's Guide to VHDL
The Designer's Guide to VHDL
٢٠٠١
Virtual Machines Virtual Machines
Virtual Machines
٢٠١٠
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
٢٠١١
Concurrent Programming: Algorithms, Principles, and Foundations Concurrent Programming: Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations
٢٠١٢
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
٢٠٠٨
Assembly Language Programming Assembly Language Programming
Assembly Language Programming
٢٠١٣
Runtime Verification Runtime Verification
Runtime Verification
٢٠٠٨
Practical Concurrent Haskell Practical Concurrent Haskell
Practical Concurrent Haskell
٢٠١٧
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
٢٠٠٨
Specification of Software Systems Specification of Software Systems
Specification of Software Systems
٢٠١١
Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
٢٠١٨
Engineering a Compiler Engineering a Compiler
Engineering a Compiler
٢٠٢٢
Multicore and GPU Programming Multicore and GPU Programming
Multicore and GPU Programming
٢٠٢٢