ISBN 9780077090524 books & textbook
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software)
McGraw-Hill Book Co Ltd / Hardcover / 175 Pages
isbn-10: 0077090527 / isbn-13: 9780077090524
