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

Modern Compiler Implementation in Java Modern Compiler Implementation in Java
٢٠٠٢
Principles and Practices of Building Parallel Software Principles and Practices of Building Parallel Software
٢٠٢٥
Model Checking Software Model Checking Software
٢٠٠٨