Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers Book Discussion
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software)
by
