01495nam 2200433 450 991058013390332120221227174055.03-031-08166-8(MiAaPQ)EBC7029180(Au-PeEL)EBL7029180(CKB)24148303000041(PPN)263897052(EXLCZ)992414830300004120221227d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe logic of software a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday /Wolfgang Ahrendt [and three others], editorsCham, Switzerland :Springer,[2022]©20221 online resource (531 pages)Lecture Notes in Computer SciencePrint version: Ahrendt, Wolfgang The Logic of Software. a Tasting Menu of Formal Methods Cham : Springer International Publishing AG,c2022 9783031081651 Lecture notes in computer science.Computer logicComputer logicStudy and teachingComputer logic.Computer logicStudy and teaching.005.1015113Ahrendt WolfgangMiAaPQMiAaPQMiAaPQBOOK9910580133903321The logic of software2997535UNINA