Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2772)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (33 chapters)
-
Front Matter
-
Frontispiece: Zohar Manna
-
Technical Papers
About this book
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.
Editors and Affiliations
-
School of Computer Science, Tel Aviv University, Ramat Aviv, Tel Aviv, Israel
Nachum Dershowitz
Bibliographic Information
Book Title: Verification: Theory and Practice
Book Subtitle: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Editors: Nachum Dershowitz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b12001
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-21002-3Published: 24 February 2004
eBook ISBN: 978-3-540-39910-0Published: 24 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 788
Topics: Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Software Engineering, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices