Trustworthly Global Computingde Martin WirsingMateriasInformation SystemsCoding theoryData encryption (Computer science)Software engineeringComputer networksComputer softwareComputer scienceCongressesVerificationComputer securityValidationSecurity measuresEdiciones (1)Trustworthly Global Computing (2010)Springer-Verlag Heidelberg · inglés · ISBN 9783642156397Más obras de Martin WirsingAdapting proofs-as-programsTheoretical aspects of computingRecent trends in algebraic development techniques