Formal Description Techniques and Protocol Specification, Testing and Verification

EISBN:9780387352718
PISBN:9780412820601
出版社:Springer US
出版类型:Contributed volume
出版时间:1997
版次:1997
作者:Atsushi Togashi,Tadanori Mizuno,Norio Shiratori,Teruo Higashino
主题词:Computer Science,Computer Communication Networks,Signal,Image and Speech Processing
语种:英语
相关推荐

Formal Description Techniques and Protocol Specification, Testing and Verification

  • 作者:Stan Budkowski,Ana Cavalli,Elie Najm
  • EISBN:9780387353944
  • 出版社:Springer US
  • 出版时间:1998

Formal Description Techniques and Protocol Specification, Testing and Verification

  • 作者:Stan Budkowski,Ana Cavalli,Elie Najm
  • EISBN:9780387353944
  • 出版社:Springer US
  • 出版时间:1998

Formal Description Techniques and Protocol Specification, Testing and Verification

  • 作者:Tadanori Mizuno,Norio Shiratori,Teruo Higashino,Atsushi Togashi
  • EISBN:9780387352718
  • 出版社:Springer US
  • 出版时间:1997

Protocol Specification, Testing and Verification XV

  • 作者:Piotr Dembinski,Marek Sredniawa
  • EISBN:9780387348926
  • 出版社:Springer US
  • 出版时间:1996

Protocol Specification Testing and Verification XII

  • 作者:Linn,R.J.
  • PISBN:9780444898746
  • 出版时间:Legacy

Protocol Specification, Testing and Verification XIV

  • 作者:S.T. Vuong,Samuel T. Chanson
  • EISBN:9780387348674
  • 出版社:Springer US
  • 出版时间:1995