Stock image for illustration purposes only - book cover, edition or condition may vary.
FME 2002 - Formal Methods - Getting it Right
. Ed(S): Eriksson, Lars-Henrik; Lindsay, Peter Alexander
€ 137.10
FREE Delivery in Ireland
Description for FME 2002 - Formal Methods - Getting it Right
Paperback. These are the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. Editor(s): Eriksson, Lars-Henrik; Lindsay, Peter Alexander. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 32. Weight in Grams: 1960.
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the ... Read more
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
632
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
632
Place of Publication
Berlin, Germany
ISBN
9783540439288
SKU
V9783540439288
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FME 2002 - Formal Methods - Getting it Right