Cover Image

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The p...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Albert, Elvira. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sekerinski, Emil. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Programming and Software Engineering ; 8739
Subjects:
Software engineering.
Computer logic.
Programming languages (Electronic computers).
Mathematical logic.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-10181-1

Internet

https://doi.org/10.1007/978-3-319-10181-1

Similar Items