Goodreads helps you keep track of books you want to read.
Start by marking “The Austin Protocol Compiler” as Want to Read:
The Austin Protocol Compiler
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these grou ...more
Hardcover, 141 pages
Published November 19th 2004 by Springer
To see what your friends thought of this book, please sign up.