Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319941103 - June 17, 2018
In case cover and title do not match, the title is correct

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

Price
HK$ 428
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 17, 2018
ISBN13 9783319941103
Publishers Springer International Publishing AG
Pages 347
Dimensions 155 × 234 × 22 mm   ·   546 g
Language French  
Editor Gallardo, Maria del Mar
Editor Merino, Pedro

Mere med samme udgiver