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 -  - Livros - Springer International Publishing AG - 9783319901039 - 18 de abril de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 25 de set
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de abril de 2018
ISBN13 9783319901039
Editoras Springer International Publishing AG
Páginas 219
Dimensões 156 × 233 × 15 mm   ·   358 g
Idioma Alemão  
Editor Duan, Zhenhua
Editor Liu, Shaoying
Editor Nagoya, Fumiko
Editor Tian, Cong

Mais da mesma editora