ID:DA01059596
International Spring School on Mathematical Methods of Specification and Synthesis of Software Systems
同姓同名の著者を検索
edited by W. Bibel and K.P. Jantke
Springer-Verlag c1986 Lecture notes in computer science 215
: gw , : us
所蔵館59館