语系
Counsell, Steve.
概要
| 作品: | 1 作品在 1 项出版品 1 种语言 | |
|---|---|---|
书目信息
Software Engineering and Formal Methods[electronic resource] :SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
Counsell, Steve.; Nunez, Manuel.; SpringerLink (Online service)
(书目-语言数据,印刷品)