Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Lecture Notes in Computer Science 2999 (Paperback)
  • Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Lecture Notes in Computer Science 2999 (Paperback)
zoom

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Lecture Notes in Computer Science 2999 (Paperback)

(volume editor), (volume editor), (volume editor)
£90.00
Paperback 548 Pages / Published: 24/03/2004
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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 just 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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540213772
Number of pages: 548
Weight: 1710 g
Dimensions: 235 x 155 x 28 mm
Edition: 2004 ed.

You may also be interested in...

Data Analysis with Open Source Tools
Added to basket
Concrete Mathematics
Added to basket
A First Course in Coding Theory
Added to basket
The Lattice Boltzmann Equation
Added to basket
How to Think About Algorithms
Added to basket
The End of Error
Added to basket
The Art of Computer Programming
Added to basket
Networks
Added to basket
£52.00
Hardback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Cryptanalysis
Added to basket
Bayesian Methods for Hackers
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Sets, Logic and Maths for Computing
Added to basket
Discrete Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.