Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author:edited by Luca de Alfaro.
Publisher:Springer Berlin Heidelberg
ISBN:9783642005961 (electronic bk.) ; 9783642005954 (paper)
Publication Date:2009
其他作者:De Alfaro, Luca.
語言:zh
出版地:Berlin, Heidelberg :
Description

470 p. ::ill., digital ;:24 cm.