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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ait-Ameur, Yamine (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Qin, Shengchao (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Programming and Software Engineering ; 11852
• Θέματα: 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.

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