Ten Years of Hoare s Logic:A Survey - Part 1 | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

Вид:

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

Год:

1981

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

Стр.:

p.431-483.

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

Bibliogr.: p.481-483.

Источник:

Номер:

Том:

Карточка:

Б2.14, Б2.23.

Apt K. R..

Ten Years of Hoare s Logic:A Survey - Part 1// ACM Trans. Programming Language and Systems-1981, №4.-Vol. 3.-p.431-483.
Bibliogr.: p.481-483.

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

PAP3 229