Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures

Author：edited by Alessandro Aldini ... [et al.].
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783642136788 (electronic bk.) ; 9783642136771 (paper)
Publication Date：2010
其他作者：Aldini, Alessandro.
語言：zh
出版地：Berlin, Heidelberg :
Description

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

Search Same Author