Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007571730/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.".
- catalog alternative "TACAS '97".
- catalog contributor b10461756.
- catalog contributor b10461757.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs / Gerard Berry -- Manipulation Algorithms for K*BMDs / R. Drechsler, B. Becker and S. Ruppertz -- Combining Partial Order and Symmetry Reductions / E.A. Emerson, S. Jha and D. Peled -- Partial Model Checking with ROBDDs / H.R. Andersen, J. Staunstrup and N. Maretti -- Space Efficient Reachability Analysis Through Use of Pseudo-Root States / A.N. Parashkevov and J. Yantchev -- The Reference Component of PEP / B. Grahlmann -- A Tool to Support Formal Reasoning about Computer Languages / R.J. Boulton -- The Term Processor Generator Kimwitu / P. van Eijk, A. Belinfante and H. Eertink [and others] -- Graphs in METAFrame: The Unifying Power of Polymorphism / M. von der Beeck, V. Braun and A. Classen [et al.] -- A Tableau System for Linear-TIME Temporal Logic / P.H. Schmitt and J. Goubault-Larrecq -- Model-Checking for a Subclass of Event Structures / W. Penczek.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.".
- catalog extent "x, 431 p. :".
- catalog identifier "3540627901 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1217".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004.2/1 21".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer science.".
- catalog subject "Computer software Development Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76.9.S88 T33 1997".
- catalog subject "Software engineering.".
- catalog subject "System design Congresses.".
- catalog tableOfContents "Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs / Gerard Berry -- Manipulation Algorithms for K*BMDs / R. Drechsler, B. Becker and S. Ruppertz -- Combining Partial Order and Symmetry Reductions / E.A. Emerson, S. Jha and D. Peled -- Partial Model Checking with ROBDDs / H.R. Andersen, J. Staunstrup and N. Maretti -- Space Efficient Reachability Analysis Through Use of Pseudo-Root States / A.N. Parashkevov and J. Yantchev -- The Reference Component of PEP / B. Grahlmann -- A Tool to Support Formal Reasoning about Computer Languages / R.J. Boulton -- The Term Processor Generator Kimwitu / P. van Eijk, A. Belinfante and H. Eertink [and others] -- Graphs in METAFrame: The Unifying Power of Polymorphism / M. von der Beeck, V. Braun and A. Classen [et al.] -- A Tableau System for Linear-TIME Temporal Logic / P.H. Schmitt and J. Goubault-Larrecq -- Model-Checking for a Subclass of Event Structures / W. Penczek.".
- catalog title "TACAS '97".
- catalog title "Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".