资源大小： 1.33MB
发布时间： 2009-03-01
文件格式： rar
下载次数： 1
分享到：

下载地址：

下载地址1
（本站为飞网专业下载站，域名：down.cfei.net）

资源简介：

Design and Validation of Computer Protocols was published by Prentice Hall in November 1990. Among others, it details the design and implementation of the Spin model checking system. Prentice Hall, 1991, 512 pgs.ISBN 0-13-539925-4 hardcover (USA)ISBN 0-13-539834-7 paperback (international edition)考虑到有的兄弟找不到这本书，再次上传。


飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。