Stock image for illustration purposes only - book cover, edition or condition may vary.
Integrated Formal Methods
. Ed(S): Butler, Michael; Sere, Kaisa; Petre, Luigia
€ 69.11
FREE Delivery in Ireland
Description for Integrated Formal Methods
Paperback. Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts. Editor(s): Butler, Michael; Sere, Kaisa; Petre, Luigia. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 21. Weight in Grams: 581.
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these ... Read more
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
401
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
401
Place of Publication
Berlin, Germany
ISBN
9783540437031
SKU
V9783540437031
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Integrated Formal Methods