FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Paperback, 2008 ed.)

This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFormalMethods, organizedbyAbo AkademiUniversity, Turku, Finland, during May 26-30, 2008. The series of Formal Methods conf- ences is supported by FME (Formal Methods Europe), an independent asso- ation which aims to stimulate the use of, and the research on, formal methods for system development. The ?rst event in this series was VDM Europe, held in 1987. The scope of the symposium has grown since then, encompassing all aspects of software and hardware that are amenable to formal analysis. As inpreviousyears, this symposiumbroughttogetherinnovatorsandprac- tionersinprecisemathematicalmethodsforsoftwaredevelopment, academicand industrial users as well as researchers, tool developers and vendors. We received 106 submissions from 24 countries, a demonstration of the international nature of the event. Each submission was carefully refereed by at least three reviewers. The Programme Committee ?nally selected 23 papers for presentation at the symposium after what was sometimes really extensive discussion We would like to extend our thanks once more to all the members of the Programme Comm- tee and to all the reviewers for their excellent and e?cient work. (The names of all involved appear over the page.) Apart from the regular papers, there were ?ve invited talks at the symposium, given by Arvind, Shmuel Katz, Paolo Br- ciani, Jay Misra, and Dawson Engler. Arvind and Katz also submitted papers to accompany their talks and these are included in the volume. The Formal Methods 2008 symposium also included various related even

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 5014
Release date:	May 2008
First published:	2008
Editors:	Jorge Cuellar • Tom Maibaum
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	436
Edition:	2008 ed.
ISBN-13:	978-3-540-68235-6
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-68235-X
Barcode:	9783540682356

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!