著者典拠情報

標目形：
ASM
属性：
Meeting
場所：
Monte Verità, Switzerland
日付：
2000
から見よ参照形：
Abstract State Machines Workshop
International Workshop, ASM
注記：
SRC:Abstract state machines, c2000: t.p. (International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000) pref. (ASM 2000) spine (ASM 2000)
著者典拠ID：
DA12805766


1.

図書
図書
1. Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2589
所蔵情報: loading…
2.

図書
図書
2. Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Yuri Gurevich ... [et al.] (eds.)
出版情報: Berlin : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1912
所蔵情報: loading…