Verification, Model Checking, and Abstract Interpretation, Roberto Giacobazzi; Josh Berdine; Isabella Mastroe
Автор: Barbara Jobstmann; K. Rustan M. Leino Название: Verification, Model Checking, and Abstract Interpretation ISBN: 3662491214 ISBN-13(EAN): 9783662491218 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.
Автор: Corina S Pasareanu Название: Model Checking Software ISBN: 3642026516 ISBN-13(EAN): 9783642026515 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 16th International SPIN Workshop Grenoble France June 2628 2009 Proceedings. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru