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

by Jifeng He Hardcover details (United States). ISBN: 978-0-07-709052-4 ISBN-10: 0-07-709052-7 McGraw-Hill Book Co Ltd · 1995