Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, 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
9783642340260
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. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, 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
9783642340260
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).