Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Paperback, 2008 ed.)
Loot Price: R1,631
Discovery Miles 16 310
|
|
FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Paperback, 2008 ed.)
Series: Lecture Notes in Computer Science, 5014
Expected to ship within 10 - 15 working days
|
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
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!
|
You might also like..
|