VLISP A Verified Implementation of Scheme, Joshua D. Guttman; Mitchell Wand

Автор: Arie Gurfinkel; Sanjit A. Seshia
Название: Verified Software: Theories, Tools, and Experiments
ISBN: 3319296124 ISBN-13(EAN): 9783319296128
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 7547.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Blazy
Название: Verified Software. Theories, Tools, and Experiments
ISBN: 3319488686 ISBN-13(EAN): 9783319488684
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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