LEADER 02235nam0 22004933i 450 001 VAN00250684 005 20241211114251.651 010 $a978-35-407-4112-1 100 $a20220926d2007 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆThe ‰calculus of computation$edecision procedures with applications to verification$fAaron R. Bradley, Zohar Manna 210 $aBerlin$cSpringer$d2007 215 $aXV, 366 p.$cill.$d25 cm 500 1$3VAN00250685$aˆThe ‰calculus of computation$92983629 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68N30$xMathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]$3VANC033421$2MF 606 $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF 610 $aAlgorithm Analysis$9KW:K 610 $aAlgorithms$9KW:K 610 $aArtificial Intelligence$9KW:K 610 $aComputer$9KW:K 610 $aData structure$9KW:K 610 $aFormal method$9KW:K 610 $aLearning$9KW:K 610 $aLogic$9KW:K 610 $aProblem complexity$9KW:K 610 $aVerification$9KW:K 620 $dBerlin$3VANL000066 700 1$aBradley$bAaron R.$3VANV204753$01268492 701 1$aManna$bZohar$3VANV204754$025952 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250606$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/ID 250684.pdf$zID 250684.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00250684 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0533 $e08DMF663 I 20220926 996 $aCalculus of computation$92983629 997 $aUNICAMPANIA