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 -  - Libros - Springer International Publishing AG - 9783319901039 - 18 de abril de 2018
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 957
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 22 de jul.
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de abril de 2018
ISBN13 9783319901039
Editores Springer International Publishing AG
Páginas 219
Dimensiones 156 × 233 × 15 mm   ·   358 g
Lengua Alemán  
Editor Duan, Zhenhua
Editor Liu, Shaoying
Editor Nagoya, Fumiko
Editor Tian, Cong

Mere med samme udgiver