【预订】Structured Object-Oriented Formal Language and Method 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030136505 Author 作者 Zhenhua Duan Format 版本 平装-胶订 Pages Number 页数 197页 Publication Date 出版日期 2019-02-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language andMethod, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topicalsections: programming and testing; verification and validation; semantics; and blockchain.
¥608.00
【预订】Structured Object-Oriented Formal Language and Method 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319901039 Author 作者 Tian Format 版本 平装-胶订 Pages Number 页数 219页 Publication Date 出版日期 2018-04-18 Language 语种 英语 Book Contents 内容简介 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. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.
¥608.00
【预订】Structured Object-Oriented Formal Language and Method: 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030414177 Author 作者 Huaikou Miao Format 版本 平装-胶订 Pages Number 页数 364页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1260g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
¥608.00
【预订】Structured Object-Oriented Formal Language and Method: 1 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031294754 Format 版本 平装-胶订 Pages Number 页数 151页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.35 Shipping Weight 商品重量 0.53 Language 语种 其它（含多语）
¥608.00
【预订】Structured Object-Oriented Formal Language and Method: 6 美国库房发货，通常付款后3-5周到货！
¥608.00
海外直订Structured Object-Oriented Formal Language and Method: 5
¥639.00
【3-6周达】Structured Object-Oriented Formal Language and Method 【全球购】进口原版图书，预计3-6周左右到国内
¥406.00
海外直订Structured Object-Oriented Formal Language and Method: 1
¥615.00
3-6周达 Structured Object-Oriented Formal Language and Method: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【3-6周达】Structured Object-Oriented Formal Language and Method 【全球购】进口原版图书，预计3-6周左右到国内
¥466.00
3-6周达 Structured Object-Oriented Formal Language and Method: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Structured Object-Oriented Formal Language and Method 面向
¥429.00
海外直订Structured Object-Oriented Formal Language and Method: 8
¥534.00
海外直订Structured Object-Oriented Formal Language and Method: 7
¥534.00
海外直订Structured Object-Oriented Formal Language and Method: S
¥491.00
3-6周达 Structured Object-Oriented Formal Language and Method 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Structured Object-Oriented Formal Language and Method 【全球购】进口原版图书，预计3-6周左右到国内
¥521.00
【预订】Structured Object-Oriented Formal Language and Method 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030774738 Author 作者 Jinyun Xue Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-06-04 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.46 Shipping Weight 商品重量 0.68 Language 语种 其它（含多语） Book Contents 内容简介 This book conTTTesThe refereed workshop proceedings ofThe 1Th ITernTional Workshop on TruTured ObjeT-OrieTed Formal Language and MThod, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included inThe volume were carefully reviewed and seleTed from 24 submissions.They are organized inThe followingTopical seTions: modeling and specificTion; model checking; specificTion and verificTion; andTeTing and formal verificTion.DueToThe Corona pandemicThis eveT was held viTually.
¥608.00
预订 Structured Object-Oriented Formal Language and Method 国外库房发货，通常付款后3-5周到货
¥486.00
3-6周达 Structured Object-Oriented Formal Language and Method: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Structured Object-Oriented Formal Language and Method 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
预订 Structured Object-Oriented Formal Language and Method 国外库房发货，通常付款后3-5周到货
¥560.00
预订 Structured Object-Oriented Formal Language and Method 国外库房发货，通常付款后3-5周到货
¥608.00
3-6周达 Structured Object-Oriented Formal Language and Method: 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
预订 Structured Object-Oriented Formal Language and Method 国外库房发货，通常付款后3-5周到货
¥608.00
