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 and technology of clean energy : Selected peer-reviewed papers from 2nd International Conf

  • 作者:International Conference on Clean Energy Materials and Technology
  • ISBN:9783035716405
  • 出版社:Zurich, Switzerland : Trans Tech Publications Ltd, 2020.
  • 出版年:2020

Energy and materials research for the future : selected, peer reviewed papers from the 2014 2nd Inte

  • 作者:International Conference on Future Energy & Materials Research
  • ISBN:9783038354260
  • 出版社:Pfaffikon, Switzerland : Trans Tech Publications, c2015.
  • 出版年:2015

Development of industrial manufacturing : selected, peer reviewed papers from the 2013 2nd Internati

  • 作者:International Conferences on Sustainable Energy and Environmental Engineering
  • ISBN:9783038350231
  • 出版社:Durnten-Zurich ; Enfield, NH : Trans Tech, c2014.
  • 出版年:2014