FFM 2008 : Formal MethodsFM 2008 : Formal Methodsde Jorge Cuellar, Tom MaibaumMateriasComputer software, developmentSystem designEdiciones (1)FM 2008 : Formal Methods (2008)Springer London, Limited · inglés · ISBN 9783540682370Más obras de Jorge CuellarSecurity and Trust Management