登入選單
返回Google圖書搜尋
Applying Formal Verification with Protocol Compiler
Christian StangierUlrich Holtmann
出版Univ., Mathematik/Informatik, 1999
URLhttp://books.google.com.hk/books?id=L6zBGwAACAAJ&hl=&source=gbs_api