Cover Image

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 su...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Braga, Christiano. (Editor, http://id.loc.gov/vocabulary/relators/edt), Martí-Oliet, Narciso. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Programming and Software Engineering ; 8941
Subjects:
Software engineering.
Computer logic.
Mathematical logic.
Programming languages (Electronic computers).
Management information systems.
Computer science.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Online Access:https://doi.org/10.1007/978-3-319-15075-8

Internet

https://doi.org/10.1007/978-3-319-15075-8

Similar Items