Leveraging Applications of Formal Methods, Verification, and Validation
Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642165580
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Data mining.; Information systems.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Information Systems Applications (incl.Internet).; Data Mining and Knowledge Discovery.
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642165580
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Data mining.; Information systems.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Information Systems Applications (incl.Internet).; Data Mining and Knowledge Discovery.