rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Verification: Theory and Practice
    sub title: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  name:
    name part: Dershowitz, Nachum.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2003
    edition: 1st ed. 2003.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 788 p. online resource.
  abstract: This 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.
  table of contents: Frontispiece: 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.
  note: edited by Nachum Dershowitz.
  subject:
    topic: Software engineering
  subject:
    topic: Computer logic
  subject:
    topic: Special purpose computers
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computers
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Special Purpose and Application-Based Systems
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Computation by Abstract Devices
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 2772
  identifier: 9783540399100
  identifier: https://doi.org/10.1007/b12001
  record info:
    record creation date: 121227
    record change date: 20191022041516.0
    record identifier: 978-3-540-39910-0