 |
0
索取号：TP31/E9066
作者：Gumb、 Raymond D.、
出版社：Chichester John Wiley & Son New York : Wiley, 1989.
| |
0
索取号：TP31/E9922
作者：Francez、 Nissim.、
出版社：N.Y. Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.
|
|
0
索取号：TP31/E9076
作者：
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1982.
| |
0
索取号：TP302/E9024
作者：Roth、 J. Paul (John Paul)、 1922-、
出版社：Potomac, Md. : Computer Science Press, 1980.
|
|
0
索取号：TP3-43/E904
作者：McGettrick、 Andrew D.、 1944-、
出版社：Cambridge ; New York : Cambridge University Press, 1982.
| |
0
索取号：TN47/E20061
作者：
出版社：Boca Raton, FL : CRC Taylor & Francis, 2006.
|
|
0
索取号：R917/E20051
作者：
出版社：Hoboken, NJ : John Wiley & Sons, c2004.
| |
0
索取号：O241.82/E20044
作者：Knupp、 Patrick M.、Salari、 Kambiz.、
出版社：Boca Raton, Fla. : Chapman & Hall/CRC Press, c2003.
|
|
0
索取号：TP309/E20041
作者：Gutmann、 Peter.、
出版社：New York : Springer, c2004.
| |
0
索取号：TP311-532/E996/1998
作者：IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、
出版社：Boston : Kluwer Academic Publishers, 1998.
|
|
0
索取号：TP301.6/E20013
作者：Ling、 Nam.、Bayoumi、 Magdy A.、
出版社：Singapore ; River Edge, NJ : World Scientific, c1999.
| |
0
索取号：TP311.1/E995.2
作者：Apt、 Krzysztof R.、Olderog、 E.-R.、
出版社：New York : Springer-Verlag, c1997.
|
 |
0
索取号：TP303/20073
作者：拉姆、王维维、
出版社：北京 : 机械工业出版社, 2007
|  |
0
索取号：TP311.5/200650
作者：伯杰龙、张春、陈新凯、李晓雯、
出版社：北京 : 电子工业出版社, 2006
|
 |
0
索取号：621690
作者：吉罗、 C.、瓦尔克、 R.、王生原、余鹏、霍金健、
出版社：北京 : 电子工业出版社, 2005
| | |
粤公网安备 44030602003680号