Cover Image

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings /

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Ait-Ameur, Yamine. (Editor, http://id.loc.gov/vocabulary/relators/edt), Qin, Shengchao. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Programming and Software Engineering ; 11852
Subjects:
Computers.
Artificial intelligence.
Software engineering.
Computer organization.
Computer simulation.
Theory of Computation.
Artificial Intelligence.
Software Engineering.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Online Access:https://doi.org/10.1007/978-3-030-32409-4

Internet

https://doi.org/10.1007/978-3-030-32409-4

Similar Items