Related Books

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Language: en
Pages: 339

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Authors: Tiziana Margaria
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Leveraging Applications of Formal Methods, Verification and Validation
Language: en
Pages: 881

Leveraging Applications of Formal Methods, Verification and Validation

Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2008-11-05 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Language: en
Pages: 985

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2016-10-05 - Publisher: Springer

GET EBOOK

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Language: en
Pages: 661

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2014-09-26 - Publisher: Springer

GET EBOOK

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Language: en
Pages: 564

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2014-09-26 - Publisher: Springer

GET EBOOK

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,