Critical Systems: Formal Methods and Automated Verification, ter Beek

Автор: Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Mahesh
Название: Automated Technology for Verification and Analysis
ISBN: 354088386X ISBN-13(EAN): 9783540883869
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.

Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe
Название: Automated Reasoning
ISBN: 3540710698 ISBN-13(EAN): 9783540710691
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

Автор: Zhiming Liu; Anders P. Ravn
Название: Automated Technology for Verification and Analysis
ISBN: 3642047602 ISBN-13(EAN): 9783642047602
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

Автор: Artho
Название: Automated Technology for Verification and Analysis
ISBN: 3319465198 ISBN-13(EAN): 9783319465197
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;