FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings (Paperback, 1997 ed.)

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1313
Release date:	September 1997
First published:	1997
Editors:	John Fitzgerald • Cliff B. Jones • Peter Lucas
Dimensions:	235 x 155 x 35mm (L x W x T)
Format:	Paperback
Pages:	694
Edition:	1997 ed.
ISBN-13:	978-3-540-63533-8
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	3-540-63533-5
Barcode:	9783540635338

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!