Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Автор: María del Mar Gallardo, Pedro Merino

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.78 € 103.24 лв

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking...

Информация за книгата

Автор

María del Mar Gallardo, Pedro Merino

Език

Английски език

Корици

Книга - С меки корици

Издадена

2018

страници

347

EAN

9783319941103

ISBN

3319941100

Enbook ID

19534895

Издател

Springer International Publishing AG

Теглоt

557

Размери

155 x 235 x 20

Пълно описание

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. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също