Incremental Formalization: A Key to Industrial Success | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1995

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

окружение

инструментарий

Стр.:

22 p.

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

Bibliogr.: p.18.

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

Номер:

MIP-9516

Карточка:

Б3.5.

Steffen B., Margaria T., Classen A., Braun V..

Incremental Formalization: A Key to Industrial Success-Passau., 1995.-22 p.-(Препринт Univ.Passau №MIP-9516).
Bibliogr.: p.18.

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

PREP2 277