Semantics and Algebraic Specification المزيد من كتب Jens Palsberg

Modern Compiler Implementation in Java

Principles and Practices of Building Parallel Software

Model Checking Software