Integrated Formal Methods

Name: Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Brand: Springer
SKU: 9783540437031
Price: 5722.00 INR
Availability: InStock

Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.

by Michael Butler, Luigia Petre, Kaisa Sere

Springer

₹5,722

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.