The Early History of Data NetworksISBN: 978-0-8186-6782-4
Paperback
304 pages
November 1994, Wiley-IEEE Computer Society Press
|
Gerard J. Holzmann is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. Björn Pehrson is the author of The Early History of Data Networks, published by Wiley.