
Virtual Machines
$169.99

Formal Models of Operating System Kernels
$169.99

Formal Refinement for Operating System Kernels
$109.99

Formal Specification of Advanced Problem Solving Architectures
Out of Stock

Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
$41.10