Related Books

Integrated Formal Methods
Language: en
Pages: 376
Authors: Michael Leuschel
Categories: Computers
Type: BOOK - Published: 2009-02-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in Febru
Integrated Formal Methods
Language: en
Pages: 449
Authors: Wolfgang Grieskamp
Categories: Computers
Type: BOOK - Published: 2007-10-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Integrated Formal Methods
Language: en
Pages: 553
Authors: Eerke Boiten
Categories: Computers
Type: BOOK - Published: 2004-03-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004
Integrated Formal Methods
Language: en
Pages: 416
Authors: Judi M.T. Romijn
Categories: Computers
Type: BOOK - Published: 2005-11-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, i
Integrated Formal Methods
Language: en
Pages: 410
Authors: Michael Butler
Categories: Computers
Type: BOOK - Published: 2003-08-01 - Publisher: Springer

DOWNLOAD EBOOK

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the