02144nam0 22004813i 450 VAN025068420220927091314.211978-35-407-4112-120220926d2007 |0itac50 baengDE|||| |||||ˆThe ‰calculus of computationdecision procedures with applications to verificationAaron R. Bradley, Zohar MannaBerlinSpringer2007XV, 366 p.ill.25 cmVAN0250685ˆThe ‰calculus of computation298362968-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03B70Logic in computer science [MSC 2020]VANC024541MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68N30Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]VANC033421MFAlgorithm AnalysisKW:KAlgorithmsKW:KArtificial IntelligenceKW:KComputerKW:KData structureKW:KFormal methodKW:KLearningKW:KLogicKW:KProblem complexityKW:KVerificationKW:KBerlinVANL000066BradleyAaron R.VANV2047531268492MannaZoharVANV20475425952Springer <editore>VANV108073650ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0250684BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0533 08DMF663 I 20220926 Calculus of computation2983629UNICAMPANIA