FME 2002

FME 2002
Author: International Symposium of Formal Methods Europe
Publisher:
Total Pages: 624
Release: 2002
Genre:
ISBN:

Download FME 2002 Book in PDF, Epub and Kindle


FME 2002
Language: en
Pages: 624
Authors: International Symposium of Formal Methods Europe
Categories:
Type: BOOK - Published: 2002 - Publisher:

GET EBOOK

FME 2002: Formal Methods - Getting IT Right
Language: en
Pages: 636
Authors: Lars-Henrik Eriksson
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europ
FME 2002: Formal Methods - Getting IT Right
Language: en
Pages: 632
Authors: Lars-Henrik Eriksson
Categories: Computers
Type: BOOK - Published: 2002-07-10 - Publisher: Springer

GET EBOOK

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europ
FME 2003: Formal Methods
Language: en
Pages: 956
Authors: Keijiro Araki
Categories: Computers
Type: BOOK - Published: 2003-10-02 - Publisher: Springer

GET EBOOK

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Met
Integrated Formal Methods
Language: en
Pages: 553
Authors: Eerke Boiten
Categories: Computers
Type: BOOK - Published: 2004-03-24 - Publisher: Springer Science & Business Media

GET 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