Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Tian, Cong (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Nagoya, Fumiko (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Liu, Shaoying (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Duan, Zhenhua (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 10795
• Θέματα: Software engineering.; Algorithms.; Computer logic.; Artificial intelligence.; Software Engineering/Programming and Operating Systems.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Artificial Intelligence.

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and se...

Πίνακας περιεχομένων:

• Animation and prototyping
• Graph theory
• Model checking
• Modeling and specification
• Verification and validation.