Verification, Krass, Allan S. , Stockholm International Peace R

Автор: Power, Michael
Название: The Audit Society: Rituals of Verification
ISBN: 0198296037 ISBN-13(EAN): 9780198296034
Издательство: Oxford Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Поставка под заказ.

Описание: Offers a systematic exploration of audit as a principle of social organization and control. This book examines the reasons, means, and consequences of the audit explosion. It raises questions about the efficacy of audit processes, suggests that the consequences of this must be evaluated, and contrasts these theories and practices of Trust.

Автор: Karen Yorav
Название: Hardware and Software: Verification and Testing
ISBN: 3540779647 ISBN-13(EAN): 9783540779643
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Martin Leucker
Название: Runtime Verification
ISBN: 354089246X ISBN-13(EAN): 9783540892465
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Автор: Francesco Logozzo; Doron A. Peled; Leonore D. Zuck
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3540781625 ISBN-13(EAN): 9783540781622
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

Автор: Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino;
Название: Automated Technology for Verification and Analysis
ISBN: 3540755950 ISBN-13(EAN): 9783540755951
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Автор: Oleg Sokolsky; Serdar Tasiran
Название: Runtime Verification
ISBN: 3540773940 ISBN-13(EAN): 9783540773948
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. This book presents 16 revised full papers together with 1 invited paper.