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

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

出版社：Berlin ; New York : Springer, c2000.

ISBN：3540679596

出版年：2000

作者：ASM 2000

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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 : 6th International Conference, ABZ 2018, Southam

作者：ABZ 2018
ISBN：9783319912707
出版社：Cham, Switzerland : Springer, 2018.
出版年：2018

Abstract state machines, alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Ital

作者：ABZ 2012
ISBN：9783642308840
出版社：Berlin : Springer, c2012.
出版年：2012