語系
FORTE (Conference) (2017 :)
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
FORTE (Conference) (2017 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(書目-電子資源)