LEADER 01495nam  2200433   450 
001 9910580133903321
005 20221227174055.0
010   $a3-031-08166-8
035   $a(MiAaPQ)EBC7029180
035   $a(Au-PeEL)EBL7029180
035   $a(CKB)24148303000041
035   $a(PPN)263897052
035   $a(EXLCZ)9924148303000041
100   $a20221227d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 04$aThe logic of software $ea tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday /$fWolfgang Ahrendt [and three others], editors
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$dİ2022
215   $a1 online resource (531 pages)
225 1 $aLecture Notes in Computer Science
311 08$aPrint version: Ahrendt, Wolfgang The Logic of Software. a Tasting Menu of Formal Methods Cham : Springer International Publishing AG,c2022 9783031081651 
410  0$aLecture notes in computer science.
606   $aComputer logic
606   $aComputer logic$xStudy and teaching
615  0$aComputer logic.
615  0$aComputer logic$xStudy and teaching.
676   $a005.1015113
702   $aAhrendt$b Wolfgang
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910580133903321
996   $aThe logic of software$92997535
997   $aUNINA