Trending Bestseller

FM 2008

Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

No reviews yet Write a Review
Paperback / softback
08 May 2008
RRP: $93.49
$91.62
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
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 events.

You Can Find This Title In

    Product Details
    ISBN-13
    9783540682356
    Author
    Jorge Cuellar
    Publisher
    Springer Nature B.V.
    Published
    08 May 2008
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $93.49
    $91.62
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    FM 2008

    RRP: $93.49
    $91.62

    Description

    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 events.

    You Can Find This Title In

      This Title Is Categorised As