Formal Models of Communicating Systems

EISBN:9783540329237
PISBN:9783540329220
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:2006
作者:Benedikt Bollig
主题词:Computation by Abstract Devices,Software Engineering,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Information Systems and Communication Service
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Testing of Communicating Systems

  • 作者:Hasan Ural,Robert L. Probert,Gregor von Bochmann
  • EISBN:9780387355160
  • 出版社:Springer US
  • 出版时间:2000

Testing of Communicating Systems

  • 作者:Roland Groz,Robert M. Hierons
  • EISBN:9783540247043
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Testing of Communicating Systems

  • 作者:M. Ümit Uyar,Ali Y. Duale,Mariusz A. Fecko
  • EISBN:9783540341857
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Testing of Communicating Systems

  • 作者:Nina Yevtushenko
  • EISBN:9780387353814
  • 出版社:Springer US
  • 出版时间:1998

Testing of Communicating Systems

  • 作者:Bernd Baumgarten,Heinz-Jürgen Burkhardt,Alfred Giessler
  • EISBN:9780387350622
  • 出版社:Springer US
  • 出版时间:1996

Testing of Communicating Systems

  • 作者:Roland Groz,Robert M. Hierons
  • EISBN:9783540247043
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004