Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Häftad, Engelska, 2018
Del 10795 i serien Lecture Notes in Computer Science
551 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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 selected from 21 submissions. model checking;
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Structured Object-Oriented Formal Language and Method
Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
Häftad
551 kr
Structured Object-Oriented Formal Language and Method
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Häftad
551 kr
Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
Häftad
551 kr
Structured Object-Oriented Formal Language and Method
Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
Häftad
551 kr
