Abstract state machines : theory and applications : International Workshop ASM 2000 Monte Verità

出版社:Berlin ; New York : Springer, c2000.
ISBN:3540679596
出版年:2000
作者:ASM 2000
资源类型:图书
细分类型:西文文献
相关推荐

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 20

  • 作者:ASM 2004
  • ISBN:3540220941
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 20

  • 作者:ASM 2003
  • ISBN:3540006249
  • 出版社:Berlin ; New York : Springer, c2003.
  • 出版年:2003

Abstract state machines 2003 : advances in theory and practice : international workshop, ASM 2003, T

  • 作者:ASM 2003
  • ISBN:3540006249
  • 出版社:Berlin ; New York : Springer, c2000.
  • 出版年:2003

International Conference on Advanced Phase Measurement Methods in Optics and Imaging : Monte Verità

  • 作者:International Conference on Advanced Phase Measurement Methods in Optics and Imaging
  • ISBN:9780735407831
  • 出版社:Melville, N.Y. : American Institute of Physics, c2010.
  • 出版年:2010

Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulous

  • 作者:ABZ 2014
  • ISBN:9783662436516
  • 出版社:Berlin, Heidelberg : Springer, c2014.
  • 出版年:2014

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 1

  • 作者:ABZ 2008
  • ISBN:9783540876021
  • 出版社:Berlin : Springer, c2008.
  • 出版年:2008