1.

図書
図書
1. Formal foundations for software engineering methods
Heinrich Hußmann
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1322
所蔵情報: loading…
2.

図書
図書
2. Nondeterminism in algebraic specifications and algebraic programs
Heinrich Hussmann
出版情報: Boston : Birkhäuser, c1993
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
3.

図書
図書
3. Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Heinrich Hussmann (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2029
所蔵情報: loading…
4.

図書
図書
4. 《UML》 2002 - the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October 4, 2002 : proceedings
Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2460
所蔵情報: loading…