Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key, Ahrendt Wolfgang, Beckert Bernhard, Bubel Richard


Варианты приобретения
Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Ahrendt Wolfgang, Beckert Bernhard, Bubel Richard
Название:  Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key
ISBN: 9783030643539
Издательство: Springer
Классификация:



ISBN-10: 3030643530
Обложка/Формат: Paperback
Страницы: 339
Вес: 0.49 кг.
Дата издания: 21.01.2021
Язык: English
Размер: 23.39 x 15.60 x 1.85 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.


Deductive Software Verification – The KeY Book

Автор: 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.

Perspectives on the Future of 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.

Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, Swqd 2021, Vienna, Austria, January 19-21, 2021,

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

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

Perspectives on the Future of Software Engineering

Автор: 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
   В Контакте     В Контакте Мед  Мобильная версия