Books+ Search Results
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
Title
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, eds.
ISBN
3540635335 (pbk. : alk. paper)
Published
Berlin ; New York : Springer, c1997.
Physical Description
xiii, 684 p. : ill. ; 24 cm.
Variant and related titles
Industrial applications and strengthened foundations of formal methods
Format
Books
Language
English
Added to Catalog
June 01, 2002
Bibliography
Includes bibliographical references and index.
Subjects
Also listed under
Bookmark As
Citation
