Formal Methods for Open Object-based Distributed Systems

EISBN:9780387352619
PISBN:9780412820403
出版社:Springer US
出版类型:Contributed volume
出版时间:1997
版次:1st ed. 1997
作者:Howard Bowman,John Derrick
主题词:Computer Science,Computer Communication Networks,Signal,Image and Speech Processing
语种:英语
相关推荐

Formal Methods for Open Object-based Distributed Systems

  • 作者:Elie Najm,Jean-Bernard Stefani
  • EISBN:9780387350820
  • 出版社:Springer US
  • 出版时间:1997

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Elie Najm,Uwe Nestmann,Perdita Stevens
  • EISBN:9783540399582
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Elie Najm,Uwe Nestmann,Perdita Stevens
  • EISBN:9783540399582
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Gilles Barthe,Frank S. Boer
  • EISBN:9783540688631
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Paolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri
  • EISBN:9780387355627
  • 出版社:Springer US
  • 出版时间:1999

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Martin Steffen,Gianluigi Zavattaro
  • EISBN:9783540315568
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005