Integrated Formal Methods 4th (8 results)
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)
Boiten, Eerke [Editor]; Derrick, John [Editor]; Smith, Graeme [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 39.44
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
Boiten, Eerke A. (EDT); Derrick, John; Smith, Graeme; International Conference on Integrated F
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.79
US$ 15.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
Boiten, Eerke A. (EDT); Derrick, John; Smith, Graeme; International Conference on Integrated F
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 82.54
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
Boiten, Eerke A. (EDT); Derrick, John; Smith, Graeme; International Conference on Integrated F
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.77
US$ 20.01 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
Boiten, Eerke A. (EDT); Derrick, John; Smith, Graeme; International Conference on Integrated F
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.86
US$ 20.01 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.93
US$ 73.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is ju…st outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci cation and design, so that the most appropriate design tools are used at di erent points in the life-cycle.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.12
US$ 79.96 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Integrated Formal Methods | 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings | Eerke Boiten (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540213772 | Verantwortliche Person für die EU: Springer Nature Customer Service Cen…ter GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
