close
1.

図書
図書
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.)
出版情報: Berlin ; New York : Springer, c1997  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
2.

図書
図書
2. FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings (: gw ; : us)
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 723 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 873
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼