Integrated Formal Methods 9th (10 results)
- More images
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.00
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.86
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 52.70
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.30
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.94
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (Editor)/ Gnesi, Stefania (Editor)/ Latella, Diego (Editor)/ Treharne, Helen (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.71
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 372 pages. 9.25x6.10x0.84 inches. In Stock.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.13
£ 53.74 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed a…nd selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
