00903nam0-22003011i-450-9900011122504033210-387-97664-7000111225FED01000111225(Aleph)000111225FED01000111225--------d--------km-y0itay50------baeng<<The >>Temporal Logic of Reactive and Concurrent SystemsZohar Manna, Amir PnueliNew YorkSpringer-Verlag1992Teoria della programmazione e utilizzazione dei computersSoftware510.78Manna,Zohar25952Pnueli,AmirITUNINARICAUNIMARCBK9900011122504033218B-28318755FI18B-283.00118774FI1FI1Temporal Logic of Reactive and Concurrent Systems337188UNINA01742nas 2200469 a 450 99621065830331620221206220849.01878-7088(OCoLC)51747459(CKB)954926230406(CONSER) 2005249068(DE-599)ZDB2022491-6(EXLCZ)9995492623040620030226b19731983 sy aengurmnu|||||Mutation researchSection on environmental mutagenesis and related subjects[e-journal][Amsterdam Elsevier Scientific Pub. Co.]Refereed/Peer-reviewed0165-1161 Mutation Research/Environmental Mutagenesis and Related SubjectsMutation research. Environmental mutagenesis and related subjectsSection on environmental mutagenesis and related subjectsEnvironmental mutagenesis and related subjectsMutation research/Environmental mutagenesis and related subjectsMUTATION RESEARCHENVIRONMENTAL MUTAGENESIS AND RELATED SUBJECTSMUTAT RES ENVIRON MUTAGEN REL SUBJMUTAT RES ENVIRON MUTAGEN R SMUTAT RES ENVIR MUTAMUT RES ENVMUTATION RESEARCH. ENVIRONMENTAL MUTAGENESIS & RELATED SUBJECTSChemical mutagenesisPeriodicalsEnvironmentally induced diseasesPeriodicalsCarcinogenesisPeriodicalsPeriodicals.Chemical mutagenesisEnvironmentally induced diseasesCarcinogenesisJOURNAL996210658303316Mutation research792823UNISA00859nam a2200217 a 4500991001326939707536 8838475350b13355491-39ule_instDip.to di Studi StoriciitaGallo, Ermanno605889Il marchio della strega :Malleus Maleficarum , il manuale dell'Inquisizione sulla caccia alle streghe e sue applicazioni /Ermanno GalloCasale Monferrato :Piemme,2005270 p. ;22 cmStregoneria.b1335549121-09-0615-11-05991001326939707536LE023 133.4 GAL 1 112023000094143le023-E16.90-no 05050.i1415743324-11-05Marchio della strega1093066UNISALENTOle023 - - ma -itait 30