000 -LEADER |
fixed length control field |
03374nam a22005775i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783540399100 |
-- |
978-3-540-39910-0 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1015113 |
245 10 - TITLE STATEMENT |
Title |
Verification: Theory and Practice |
Sub Title |
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / |
Statement of responsibility, etc |
edited by Nachum Dershowitz. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
Year of publication |
2003. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XVI, 788 p. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic design. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Special Purpose and Application-Based Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computation by Abstract Devices. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Mathematical Logic and Formal Languages. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Dershowitz, Nachum. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/b12001 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
-- |
2003. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |