.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for FM 2005
Paperback. Presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. This book contains 31 papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations, which were reviewed and selected from 130 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 558 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 803.
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each ... Read more
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
558
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
558
Place of Publication
Berlin, Germany
ISBN
9783540278825
SKU
V9783540278825
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FM 2005