Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
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…
Mehr
CHF 133.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Derrick, John (Hrsg.) / Smith, Graeme (Hrsg.)
- ISBN: 978-3-540-24756-2
- EAN: 9783540247562
- Produktnummer: 37296606
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 548 S.
- Plattform: PDF
- Auflage: 2004
- Reihenbandnummer: 2999
1 weiteres Werk von Eerke (Hrsg.) Boiten:
Bewertungen
Anmelden