Bertran, Miquel

ID:DA08655116

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings

Miquel Bertran, Teodor Rus, (eds.)

Springer c1997 Lecture notes in computer science 1231

所蔵館42館
2

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)

Springer-Verlag c1994 Lecture notes in computer science 873

: gw , : us

所蔵館54館

この著者を外部サイトでさがす

関連著者

ページトップへ