1.

電子ブック
ＥＢ
1. Formal Development of Reactive Systems : Case Study Production Cell. 1st ed. 1995
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: https://doi.org/10.1007/3-540-58867-1
2.

電子ブック
ＥＢ
2. Attribute Grammars, Applications and Systems : International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings. 1st ed. 1991
edited by Henk Alblas, Borivoj Melichar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 545
オンライン: https://doi.org/10.1007/3-540-54572-7