close
1.

図書

図書
Miquel Bertran, Teodor Rus, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
2.

図書

図書
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…
3.

電子ブック

EB
International Symposium of Formal Methods Europe, Miquel Bertran, Tim Denvir, Maurice Naftalin
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼