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øker - Springer International Publishing AG - 9783319901039 - 18. april 2018
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
NOK 519

Bestillingsvarer

Forventes levert 14. - 22. sep

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 18. april 2018
ISBN13 9783319901039
Utgivere Springer International Publishing AG
Antall sider 219
Mål 156 × 233 × 15 mm   ·   358 g
Språk Tysk  
Redaktør Duan, Zhenhua
Redaktør Liu, Shaoying
Redaktør Nagoya, Fumiko
Redaktør Tian, Cong

Mer fra samme **utgiver**