Title: | Design and Validation of Computer Protocols |
Author: | Holzmann, Gerard J. |
Link: | gzipped PDF and Postscript files at Bell Labs |
Stable link here: | https://onlinebooks.library.upenn.edu/webbin/book/lookupid?key=olbp19627 |
Subject: | Computer network protocols -- Design |
Call number: | TK5105.5 .H645 |
Other copies: | Look for editions of this book at your library, or elsewhere. |
Help with reading books -- Report a bad link -- Suggest a new listing
Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials
Books -- News -- Features -- Archives -- The Inside Story
Edited by John Mark Ockerbloom (onlinebooks@pobox.upenn.edu)
Data for this curated collection listing is CC0. See OBP copyrights and licenses.