Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science 2018 edition

Name: Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science
Price: 372 CNY
Availability: OutOfStock

价格

元 372

不含税

远程仓调货

预计送达时间年7月21日 - 年7月31日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science

2018 edition

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;

219 pages, 66 Illustrations, black and white; X, 219 p. 66 illus.

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2018年4月18日
ISBN13	9783319901039
出版商	Springer International Publishing AG
页数	219
商品尺寸	156 × 233 × 15 mm · 358 g
语言	德语
编辑	Duan, Zhenhua
编辑	Liu, Shaoying
编辑	Nagoya, Fumiko
编辑	Tian, Cong