1.

電子ブック
ＥＢ
1. Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology. 1st ed. 2012
edited by Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-34614-9
2.

電子ブック
ＥＢ
2. Formal Systems Specification : The RPC-Memory Specification Case Study. 1st ed. 1996
edited by Manfred Broy, Stephan Merz, Katharina Spies
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1169
オンライン: https://doi.org/10.1007/BFb0024423
3.

電子ブック
ＥＢ
3. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings. 1st ed. 1996
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: https://doi.org/10.1007/3-540-62064-8
4.

電子ブック
ＥＢ
4. KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report. 1st ed. 1995
edited by Manfred Broy, Stefan Jähnichen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1009
オンライン: https://doi.org/10.1007/BFb0015452
5.

電子ブック
ＥＢ
5. Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings. 1st ed. 1993
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: https://doi.org/10.1007/BFb0039695
6.

電子ブック
ＥＢ
6. Methods of Programming : Selected Papers on the CIP-Project. 1st ed. 1991
edited by Manfred Broy, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 544
オンライン: https://doi.org/10.1007/BFb0018265