Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005884676/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract ""This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value."--PUBLISHER'S WEBSITE.".
- catalog alternative "Industrial benefit of formal methods".
- catalog contributor b8263783.
- catalog contributor b8263784.
- catalog contributor b8263785.
- catalog contributor b8263786.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references.".
- catalog extent "xi, 723 p. :".
- catalog hasFormat "FME '94, industrial benefit of formal methods.".
- catalog identifier "0387585559 (acid-free paper)".
- catalog identifier "3540585559 ( Berlin : acid-free paper)".
- catalog isFormatOf "FME '94, industrial benefit of formal methods.".
- catalog isPartOf "Lecture notes in computer science ; 873".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "FME '94, industrial benefit of formal methods.".
- catalog subject "005.1/01/5113 20".
- catalog subject "Computer software Development Congresses.".
- catalog subject "QA76.76.D47 I593 1994".
- catalog title "FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe , Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.).".
- catalog title "Industrial benefit of formal methods".
- catalog type "Conference proceedings. fast".
- catalog type "text".