【 Jan Friso Groote 】の作品Modeling and Analysis of Communicating Systems製作者 Jan Friso Groote販売元 The MIT Press発売日 販売日未定