Leveraging Applications of Formal Methods, Verification And Validation

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, part IV eBooks & eLearning

Posted by arundhati at Dec. 1, 2024

Details

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium (Repost) eBooks & eLearning

Posted by manamba13 at Feb. 2, 2015

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, … Computer Science and General Issues) by Tiziana Margaria
English | 2010 | ISBN: 3642165575 | 726 Pages | PDF | 13 MB

This volume contains the conference proceedings of the 4th International S- posium on Leveraging Applications of Formal Methods, Veri?cation and Vali- tion, ISoLA 2010

Details

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, part IV eBooks & eLearning

Posted by at Dec. 1, 2024

Details