Formal Techniques for Java-like Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Drossopoulou S.

Poetzsch-Heffter A.

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

1

Вид:

Статья из сборника или журнала

Год:

2002

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

программа

формальный

Стр.:

P.203-209

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

Bibliogr.: p.209

Источник:

Lecture Notes in Computer Science

Том:

2548

Карточка:

Б2.2, Б3.5.

Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E..

Formal Techniques for Java-like Programs// Lecture Notes in Computer Science-2002.-Vol. 2548.-P.203-209
Bibliogr.: p.209

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

PAP26 168