Automated specification and verification of web systems : selected papers from the 2nd Int''l Worksho

出版社:Los Alamitos, Calif. : IEEE Computer Society, c2007.
ISBN:0769528260
出版年:2007
作者:International Workshop on Automated Specification and Verification of Web Systems
资源类型:图书
细分类型:西文文献
相关推荐

Workshop Advances in Materials Science II : selected peer-reviewed full text papers from the 2nd Int

  • 作者:Workshop "Advances in Materials Sciences"
  • ISBN:9783035716184
  • 出版社:Baech, Switzerland : Trans Tech Publications Ltd, 2022.
  • 出版年:2022

Automatic manufacturing systems II : selected, peer reviewed papers from the 2nd International Confe

  • 作者:International Conference on Advanced Engineering Materials and Technology
  • ISBN:9783037854488
  • 出版社:Durnten-Zurich : Trans Tech, c2012.
  • 出版年:2012

Bioactive metabolites from microorganisms : selected papers from the 2nd International Symposium on

  • 作者:International Symposium on New Bioactive Metabolites from Microorganisms
  • ISBN:0444880518
  • 出版社:Amsterdam ; New York : Elsevier ; New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsev
  • 出版年:1989

Materials science and industrial applications II : selected peer-reviewed papers from the 2nd Intern

  • 作者:International Conference on Materials Science and Industrial Applications
  • ISBN:9783035715958
  • 出版社:Zurich, Switzerland : Trans Tech Publications Ltd, 2020.
  • 出版年:2020

Damage mechanics : theory, computation and practice : Selected, Peer Reviewed Papers from the 2nd In

  • 作者:International Conference on Damage Mechanics
  • ISBN:9783038355502
  • 出版社:Pfaffikon SZ : Trans Tech Publications, 2015.
  • 出版年:2015

Sustainable energy : selected, peer reviewed papers from the 2013 2nd International Conference on Su

  • 作者:International Conference on Sustainable Energy and Environmental Engineering
  • ISBN:9783038350217
  • 出版社:[Zurich], Switzerland : Trans Tech Publications, 2014.
  • 出版年:2014