Stock image for illustration purposes only - book cover, edition or condition may vary.
FM 2009: Formal Methods
Ana Cavalcanti
€ 127.46
FREE Delivery in Ireland
Description for FM 2009: Formal Methods
paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 837 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1264.
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this ... Read more
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this ... Read more
Product Details
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
837
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
820
Place of Publication
Berlin, Germany
ISBN
9783642050886
SKU
V9783642050886
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FM 2009: Formal Methods