Static Analysis: Proc./10th Intern. Symp., SAS 2003, San Diego, CA, USA, June 2003 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2003

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

статический

верификация

Стр.:

505 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

2694

Карточка:

Б2.33, Б3.1, Б2.23, Б2.24.

Static Analysis: Proc./10th Intern. Symp., SAS 2003, San Diego, CA, USA, June 2003Ed. by Cousot R..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2694.-505 p.-(Lecture Notes in Computer Science).

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

MONO4 412