VVerificationVerificationde Nachum DershowitzMateriasVerificationComputer softwareComputer software, verificationEdiciones (1)Verification (2004)Springer-Verlag · inglésMás obras de Nachum DershowitzFields of logic and computationPillars of computer scienceEvolution of Programmes (Progress in Computer Science)
LLanguage, Culture, Computation : Computing for the HumanitieLanguage, Culture, Computation : Computing for the Humanities, Law, and Narratives
