ID:DA08535103
同姓同名の著者を検索
6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke
published by Chapman & Hall on behalf of the International Federation for Information Processing 1996
所蔵館7館
Reinhard Gotzhein
Vieweg c1993 Vieweg advanced studies in computer science
所蔵館5館