Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings

作者：edited by Luke Ong.

出版社：Springer-Verlag Berlin Heidelberg

ISBN：9783642120329 (electronic bk.) ; 9783642120312 (paper)

出版日期：2010

其他作者：Ong, Luke.

語言：zh

出版地：Berlin, Heidelberg :

內容簡介

xv, 388 p. ::ill., digital ;:24 cm.

搜尋同作者