Formal Models of Operating System Kernels More Books Like This

Behavioural Types Behavioural Types
Behavioural Types
2022
Practical Concurrent Haskell Practical Concurrent Haskell
Practical Concurrent Haskell
2017
Understanding Control Flow Understanding Control Flow
Understanding Control Flow
2016
Transactions on Pattern Languages of Programming I Transactions on Pattern Languages of Programming I
Transactions on Pattern Languages of Programming I
2009
Multicore and GPU Programming Multicore and GPU Programming
Multicore and GPU Programming
2022
Advances in Software Engineering Advances in Software Engineering
Advances in Software Engineering
2008
Central European Functional Programming School Central European Functional Programming School
Central European Functional Programming School
2015
Reactive Internet Programming Reactive Internet Programming
Reactive Internet Programming
2016
The Art of Linux Kernel Design The Art of Linux Kernel Design
The Art of Linux Kernel Design
2018
Building Modern Business Applications Building Modern Business Applications
Building Modern Business Applications
2022
Object Oriented Simulation Object Oriented Simulation
Object Oriented Simulation
2009
Computing Principles V11 Computing Principles V11
Computing Principles V11
2018
Validated Designs for Object-oriented Systems Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems
2005
Enterprise Systems Integration Enterprise Systems Integration
Enterprise Systems Integration
2013
Systems Engineering Using SDL-92 Systems Engineering Using SDL-92
Systems Engineering Using SDL-92
2012