Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008671705/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b12148291.
- catalog contributor b12148292.
- catalog contributor b12148293.
- catalog created "2001.".
- catalog date "2001".
- catalog date "2001.".
- catalog dateCopyrighted "2001.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Lightweight Formal Methods / Daniel Jackson -- Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde, C. Darlot and J. Julliand / [and others] -- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke and Thomas Santen -- Proofs of Correctness of Cache-Coherence Protocols / Joseph Stoy and Xiaowei Shen / Arvind -- Model-Checking Over Multi-valued Logics / Marsha Chechik, Steve Easterbrook and Victor Petrovykh -- How to Make FDR Spin: LTL Model Checking of CSP by Refinement / Michael Leuschel, Thierry Massari and Andrew Currie -- Avoiding State Explosion for Distributed Systems with Timestamps / Fabrice Derepas, Paul Gastin and David Plainfosse.".
- catalog extent "xiii, 628 p. :".
- catalog identifier "3540417915 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2021".
- catalog issued "2001".
- catalog issued "2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1 21".
- catalog subject "Computer software Development Congresses.".
- catalog subject "QA76.76.D47 I593 2001".
- catalog tableOfContents "Lightweight Formal Methods / Daniel Jackson -- Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde, C. Darlot and J. Julliand / [and others] -- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke and Thomas Santen -- Proofs of Correctness of Cache-Coherence Protocols / Joseph Stoy and Xiaowei Shen / Arvind -- Model-Checking Over Multi-valued Logics / Marsha Chechik, Steve Easterbrook and Victor Petrovykh -- How to Make FDR Spin: LTL Model Checking of CSP by Refinement / Michael Leuschel, Thierry Massari and Andrew Currie -- Avoiding State Explosion for Distributed Systems with Timestamps / Fabrice Derepas, Paul Gastin and David Plainfosse.".
- catalog title "FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".