IFM 99: Proc./1st International Conference on Integrated Formal Methods, York,28-29 June 1999 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

1999

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

формальный

Стр.:

477p.

Редактор:

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

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

Карточка:

Б1.3.

IFM 99: Proc./1st International Conference on Integrated Formal Methods, York,28-29 June 1999Ed. by Araki K., Galloway A., Taguchi K..-Berlin, London.: Springer, 1999.-477p.

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

MONO3 484