Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science - - Knjige - Springer International Publishing AG - 9783319941103 - 17. junija 2018
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 19. okt

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;

347 pages, 78 Illustrations, black and white; XVI, 347 p. 78 illus.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 17. junija 2018
ISBN13 9783319941103
Založniki Springer International Publishing AG
Strani 347
Dimenzije 155 × 234 × 22 mm   ·   546 g
Jezik Francoščina  
Urednik Gallardo, Maria del Mar
Urednik Merino, Pedro

Več od istega **izdajatelja**