VLISP A Verified Implementation of Scheme, Joshua D. Guttman; Mitchell Wand
Автор: 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.
Автор: 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.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz