Web Services and Formal Methods

EISBN:9783642144585
PISBN:9783642144578
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2010
作者:Cosimo Laneve,Jianwen Su
主题词:Information Systems and Communication Service,Information Systems Applications (incl.Internet),Computer Communication Networks,Information Storage and Retrieval,Software Engineering,Multimedia Information Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Methods for Web Services

  • 作者:Marco Bernardo,Luca Padovani,Gianluigi Zavattaro
  • EISBN:9783642019180
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Web Services and Formal Methods

  • 作者:Emilio Tuosto,Chun Ouyang
  • EISBN:9783319082608
  • 出版社:Springer International Publishing
  • 出版时间:2014

Web Services and Formal Methods

  • 作者:Roberto Bruni,Karsten Wolf
  • EISBN:9783642013645
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Web Services and Formal Methods

  • 作者:Mario Bravetti,Manuel Núñez,Gianluigi Zavattaro
  • EISBN:9783540388654
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Web Services and Formal Methods

  • 作者:Maurice H. Beek,Niels Lohmann
  • EISBN:9783642382307
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Web Services and Formal Methods

  • 作者:Marlon Dumas,Reiko Heckel
  • EISBN:9783540792307
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008