Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 s...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Braga, Christiano (Editor), Martí-Oliet, Narciso (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Management information systems.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Online Access:http://dx.doi.org/10.1007/978-3-319-15075-8
Перейти в каталог НБ ТГУ

Internet

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

Similar Items