Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642340321
Computer science.; Software engineering.; Operating systems (Computers).; Logic design.; Artificial intelligence.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642340321
Computer science.; Software engineering.; Operating systems (Computers).; Logic design.; Artificial intelligence.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).