Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key, Ahrendt Wolfgang, Beckert Bernhard, Bubel Richard
Автор: Ahrendt Название: Deductive Software Verification – The KeY Book ISBN: 3319498118 ISBN-13(EAN): 9783319498119 Издательство: Springer Рейтинг: Цена: 12578.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Автор: J?rgen M?nch; Klaus Schmid Название: Perspectives on the Future of Software Engineering ISBN: 3642437095 ISBN-13(EAN): 9783642437090 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The dependence on quality software in all areas of life is what makes software engineering a key discipline for today`s society.
Описание: This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19-21, 2021.
Автор: J?rgen M?nch; Klaus Schmid Название: Perspectives on the Future of Software Engineering ISBN: 3642373941 ISBN-13(EAN): 9783642373947 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The dependence on quality software in all areas of life is what makes software engineering a key discipline for today`s society.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru