You might also like

More about Integrated Formal Methods

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: Integrated Formal Methods
• Subtitle: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings
• Author: Eerke A. Boiten, John Derrick, Graeme Smith
• Language: English
• Binding: Paperback
• Number of pages: 548
• EAN: 9783540213772
• ISBN: 3540213775
• ID: 01559229
• Publisher: Springer, Berlin
• Weight: 820 g
• Dimensions: 234 × 156 × 28 mm
• Published: 2004

Trending among others

---

---

---