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 -  - Böcker - Springer International Publishing AG - 9783319901039 - 18 april 2018
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 559

Beställningsvara

Förväntad leverans 18 - 26 nov
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 18 april 2018
ISBN13 9783319901039
Utgivare Springer International Publishing AG
Antal sidor 219
Mått 156 × 233 × 15 mm   ·   358 g
Språk Tyska  
Redaktör Duan, Zhenhua
Redaktör Liu, Shaoying
Redaktör Nagoya, Fumiko
Redaktör Tian, Cong

Mer från samma **utgivare**