Formal Methods for Multicore Programming 15th International Schoo

Bernardo - Formal Methods for Multicore Programming 15th Internation - X555z

Numerical Methods and Fortran Programming by McCracken & Dorn 1964

Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Mul

Multicore and GPU Programming: An Integrated Approach

Professional Multicore Programming: Design and Implementation for C++ Developers

The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods by Jacky