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

Автор: Winkler Dietmar, Biffl Stefan, Mendez Daniel
Название: Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, Swqd 2021, Vienna, Austria, January 19-21, 2021,
ISBN: 3030658538 ISBN-13(EAN): 9783030658533
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The dependence on quality software in all areas of life is what makes software engineering a key discipline for today`s society.

Автор: J?rgen M?nch; Klaus Schmid
Название: Perspectives on the Future of Software Engineering
ISBN: 3642437095 ISBN-13(EAN): 9783642437090
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The dependence on quality software in all areas of life is what makes software engineering a key discipline for today`s society.