Cover Image

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following top...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Jones, Cliff. (Editor, http://id.loc.gov/vocabulary/relators/edt), Pihlajasaari, Pekka. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sun, Jun. (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 ; 8442
Subjects:
Software engineering.
Mathematical logic.
Computer logic.
Management information systems.
Computer science.
Computers.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Online Access:https://doi.org/10.1007/978-3-319-06410-9

Internet

https://doi.org/10.1007/978-3-319-06410-9

Similar Items