Foundations of Computer Softwarede Radu Calinescu, Ethan JacksonEdiciones (1)Foundations of Computer Software (2011)Springer · ISBN 9783642212932Más obras de Radu CalinescuFoundations of Computer Software. Modeling, Development, and Verification of Adaptive SystemsSoftware Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsSoftware Engineering and Formal Methods