Ahrendt Wolfgang, Wehrheim Heike Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings 9783030509941

Варианты приобретения

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

Добавить в корзину

в Мои желания

Автор: Ahrendt Wolfgang, Wehrheim Heike
Название: Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings
ISBN: 9783030509941
Издательство: Springer
Классификация:

Компиляторы

Технология разработки программного обеспечения

Анализ и синтез систем

Искусственный интеллект

Экспертные системы / системы баз знаний

ISBN-10: 303050994X
Обложка/Формат: Paperback
Страницы: 181
Вес: 0.28 кг.
Дата издания: 20.06.2020
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 30 illustrations, color; 141 illustrations, black and white; xiii, 181 p. 171 illus., 30 illus. in color.
Размер: 23.39 x 15.60 x 1.07 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 14th international conference, tap 2020, held as part of staf 2020, bergen, norway, june 22-23, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.- Mutation Testing of Smart Contracts at Scale.- Deductive Binary Code Verification Against Source-Code-Level Specifications.- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.- SAT Modulo Differential Equation Simulations.- Verified Runtime Assertion Checking for Memory Properties.- Testing for Race Conditions in Distributed Systems via SMT Solving.- SASA: a SimulAtor of Self-stabilizing Algorithms.- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.

Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings, Ahrendt Wolfgang, Wehrheim Heike