Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Duan, Zhenhua (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Liu, Shaoying (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Tian, Cong (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Nagoya, Fumiko (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11392
• Θέματα: Software engineering.; Artificial intelligence.; Computer system failures.; Computers.; Computer simulation.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence.; System Performance and Evaluation.; Theory of Computation.; Simulation and Modeling.; Computing Milieux.

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully review...

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

• Programming and testing
• Verification and validation
• Semantics
• Blockchain.