Model Checking Software, Fabrizio Biondi; Thomas Given-Wilson; Axel Legay

Автор: Bernd Fischer; Jaco Geldenhuys
Название: Model Checking Software
ISBN: 331923403X ISBN-13(EAN): 9783319234038
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

Автор: Gallardo
Название: Model Checking Software
ISBN: 3319941100 ISBN-13(EAN): 9783319941103
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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;

Автор: Ezio Bartocci; C. R. Ramakrishnan
Название: Model Checking Software
ISBN: 3642391753 ISBN-13(EAN): 9783642391750
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions.

Автор: Klaus Havelund; Rupak Majumdar; Jens Palsberg
Название: Model Checking Software
ISBN: 3540851135 ISBN-13(EAN): 9783540851134
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The main focus of the workshop series is software systems, including models and programs.

Автор: Dragan Bo?na?ki; Anton Wijs
Название: Model Checking Software
ISBN: 3319325817 ISBN-13(EAN): 9783319325811
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

Автор: Deepak D`Souza; Akash Lal; Kim Guldstrand Larsen
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3662460807 ISBN-13(EAN): 9783662460801
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Автор: Anne Remke; Mari?lle Stoelinga
Название: Stochastic Model Checking
ISBN: 3662454882 ISBN-13(EAN): 9783662454886
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.

Автор: Kenneth McMillan; Xavier Rival
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642540120 ISBN-13(EAN): 9783642540127
Издательство: Springer
Рейтинг:
Цена: 9783.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.