相关推荐

Formal Description Techniques VIII

  • 作者:Gregor von Bochmann,Rachida Dssouli,Omar Rafiq
  • EISBN:9780387349459
  • 出版社:Springer US
  • 出版时间:1996

Formal Description Techniques VII

  • 作者:D. Hogrefe,S. Leue
  • EISBN:9780387348780
  • 出版社:Springer US
  • 出版时间:1995

Formal Description Techniques IX

  • 作者:R. Gotzhein,J. Bredereke
  • EISBN:9780387350790
  • 出版社:Springer US
  • 出版时间:1996

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

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