语系
Hildebrandt, Thomas.
概要
作品: | 4 作品在 1 项出版品 1 种语言 |
---|
书目信息
Web services, formal methods, and behavioral types[electronic resource] :11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
Clark Conference ((2005 :); Hildebrandt, Thomas.; SpringerLink (Online service)
(书目-语言数据,印刷品)