Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2018

Ключевые слова:

активное обучение

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

автоматический

статический анализ

вычислительная методология

динамический анализ

формальный язык

теория автоматов

формальный метод

машинное обучение

семантика

дизайн по

спецификация

теория вычислений

Стр.:

257 p.

Редактор:

Место издания:

Издательство:

Том:

11026

Карточка:

Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016Ed. by Bennaceur A., Hahnle R., Meinke K..-Berlin.: Springer, 2018.-Vol. 11026.-257 p.