A Formal Approach to the Error Localization | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2012

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

формальный

локализация

верификация

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

Стр.:

32 с.

Библиография:

Bibliogr.: p.31-32

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

Новосибирск

Номер:

169

Карточка:

Б2.23.

Promsky A. V..

A Formal Approach to the Error Localization-Новосибирск., 2012.-32 с.-(Препринт ИСИ СО РАН №169).
Bibliogr.: p.31-32

Таблица в старой библиотеке:

PREP3 155