Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully review...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Logic design.
Artificial intelligence.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Online Access:http://dx.doi.org/10.1007/978-3-662-45231-8
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-662-45231-8
Перейти в каталог НБ ТГУ

Similar Items