.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Integrated Formal Methods
. Ed(S): Romijn, Judi M.T. (Eindhoven University Of Technology); Smith, Graeme P. (Eindhoven University Of Technology); Pol, Jaco C. Van de (Centre F
€ 72.61
FREE Delivery in Ireland
Description for Integrated Formal Methods
paperback. Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts. Editor(s): Romijn, Judi M.T. (Eindhoven University of Technology); Smith, Graeme P. (Eindhoven University of Technology); Pol, Jaco C. van de (Centre for Mathematics and Computer Science (CWI)). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 407 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year's IFM was held in December 2005 on the campus of the Technische Univ- siteit Eindhoven in The Netherlands. This year IFM received 40 submissions, from which 19 high-quality papers wereselectedbytheProgramCommittee.Besidesthese,theproceedingscontain invited contributions by Patrice Godefroid, David Parnas and Doron Peled. It was 10 years ago that Jonathan P. Bowen and Michael G. Hinchey p- lished their famous Ten Commandments of Formal Methods in IEEE ... Read more
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year's IFM was held in December 2005 on the campus of the Technische Univ- siteit Eindhoven in The Netherlands. This year IFM received 40 submissions, from which 19 high-quality papers wereselectedbytheProgramCommittee.Besidesthese,theproceedingscontain invited contributions by Patrice Godefroid, David Parnas and Doron Peled. It was 10 years ago that Jonathan P. Bowen and Michael G. Hinchey p- lished their famous Ten Commandments of Formal Methods in IEEE ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
407
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
407
Place of Publication
Berlin, Germany
ISBN
9783540304920
SKU
V9783540304920
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Integrated Formal Methods