Verified Software: Theories, Tools, Experiments, Natarajan Shankar; Jim Woodcock

Автор: Blazy
Название: Verified Software. Theories, Tools, and Experiments
ISBN: 3319488686 ISBN-13(EAN): 9783319488684
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Автор: Arie Gurfinkel; Sanjit A. Seshia
Название: Verified Software: Theories, Tools, and Experiments
ISBN: 3319296124 ISBN-13(EAN): 9783319296128
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Large-scale verification.- collaboration: - Theory Unication.- ToolIntegration.- Formalized domain knowledge.

Автор: Dimitra Giannakopoulou; Daniel Kroening
Название: Verified Software: Theories, Tools and Experiments
ISBN: 3319121537 ISBN-13(EAN): 9783319121536
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Автор: Ernie Cohen; Andrey Rybalchenko
Название: Verified Software: Theorie, Tools, Experiments
ISBN: 3642541070 ISBN-13(EAN): 9783642541070
Издательство: Springer
Рейтинг:
Цена: 50310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

Автор: Takayuki Ito; Minjie Zhang; Valentin Robu; Tokuro
Название: Complex Automated Negotiations: Theories, Models, and Software Competitions
ISBN: 3642442080 ISBN-13(EAN): 9783642442087
Издательство: Springer
Рейтинг:
Цена: 113180.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Featuring the latest research on this widely studied and emerging topic in the field of autonomous agents and multi-agent systems, the two sections in this book cover agent-based complex automated negotiations and automated negotiation agents competition.