Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday

Aufsatzsammlung

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, logics of programs, automated deduction, concurrent systems, reactive systems, real- time systems, hybridsystems, hardware and software verification, and program synthesis.

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540210023 ; 3540210024
• Dimensions: 24 cm
• Extent: XV, 782 S.
• Language: Englisch
• Notes: graph. Darst.

References and Relationships

• Bibliographic citation: Lecture notes in computer science ; 2772

Classification and Topics

• Classification: Informatik
• Keyword: Verifikation ; Theoretische Informatik ; Programmierung ; Programmierlogik ; Berechnungstheorie

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
• (who): Springer
• (when): 2003
• Contributor: Dershowitz, Nachum ; Manna, Zohar

Further information

• Table of contents: https://d-nb.info/970122802/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.06.2025, 2:24 PM CEST