Formal Methods for Open Object-based Distributed Systems

EISBN:9780387350820
PISBN:9780412797705
出版社:Springer US
出版类型:Contributed volume
出版时间:1997
版次:1st ed. 1997
作者:Elie Najm,Jean-Bernard Stefani
主题词:Computer Science,Software Engineering,Programming and Operating Systems,Computer Communication Networks,Signal,Image and Speech Processing
语种:英语
相关推荐

Formal Methods for Open Object-Based Distributed Systems

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

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,Uwe Nestmann,Perdita Stevens
  • EISBN:9783540399582
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Methods for Open Object-Based Distributed Systems

  • 作者:Roberto Gorrieri,Heike Wehrheim
  • EISBN:9783540348955
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Formal Methods for Open Object-based Distributed Systems

  • 作者:Howard Bowman,John Derrick
  • EISBN:9780387352619
  • 出版社:Springer US
  • 出版时间:1997

Formal Methods for Open Object-Based Distributed Systems

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