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

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

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

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

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Marcello M. Bonsangue,Einar Broch Johnsen
  • EISBN:9783540729525
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007