語系
Pitts, Andrew.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Foundations of software science and computation structures = 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
Pitts, Andrew.; SpringerLink (Online service)
(書目-電子資源)