Related Books

FME '96: Industrial Benefit and Advances in Formal Methods
Language: en
Pages: 724

FME '96: Industrial Benefit and Advances in Formal Methods

Authors: Marie-Claude Gaudel
Categories: Business & Economics
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Fme '96, Industrial Benefit of Formal Methods
Language: en
Pages: 723

Fme '96, Industrial Benefit of Formal Methods

Authors: england International Symposium of Formal Methods Europe 1996 Oxford
Categories: Computers
Type: BOOK - Published: 1996-04-01 - Publisher:

DOWNLOAD EBOOK

FME '96, Industrial Benefit and Advances in Formal Methods
Language: en
Pages: 723

FME '96, Industrial Benefit and Advances in Formal Methods

Authors: Jim Woodcock
Categories:
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

FME '96: Industrial Benefit and Advances in Formal Methods
Language: en
Pages: 711

FME '96: Industrial Benefit and Advances in Formal Methods

Authors: Marie-Claude Gaudel
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Fundamental Approaches to Software Engineering
Language: en
Pages: 358

Fundamental Approaches to Software Engineering

Authors: Egidio Astesiano
Categories: Computers
Type: BOOK - Published: 1998-03-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of

Theme: Illdy.