Tipsa dina vänner om produkten:
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
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
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 |