000 03424nam a22005895i 4500
001 978-3-540-39910-0
003 DE-He213
005 20240423132507.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540399100
_9978-3-540-39910-0
024 7 _a10.1007/b12001
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aVerification: Theory and Practice
_h[electronic resource] :
_bEssays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
_cedited by Nachum Dershowitz.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aXVI, 788 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2772
505 0 _aFrontispiece: Zohar Manna -- Pæan to Zohar Manna -- Technical Papers -- A Logic of Object-Oriented Programs -- Formal Analysis of Hierarchical State Machines -- Abstraction as the Key for Invariant Verification -- Domain Engineering: a “Radical Innovation” for Software and Systems Engineering? A Biased Account -- The ASM Ground Model Method as a Foundation of Requirements Engineering -- A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems -- Notes from the Logbook of a Proof-Checker’s Project -- Counterexamples Revisited: Principles, Algorithms, Applications -- Easy Intruder Deductions -- Verification by Abstract Interpretation.
520 _aThis festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aComputers, Special purpose.
650 0 _aCompilers (Computer programs).
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aTheory of Computation.
700 1 _aDershowitz, Nachum.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540210023
776 0 8 _iPrinted edition:
_z9783662210369
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2772
856 4 0 _uhttps://doi.org/10.1007/b12001
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188372
_d188372