Unrestricted Procedure Calls in Hoare s Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1978

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

процедура

язык программирования

Стр.:

P.131-139.

Источник:

Conf. Record of the First Annual ACM Simp. on Principles of Programming Lang. Jan.23-25, 1978

Карточка:

Б2.14, Б2.33.

Cartwight R., Oppen D..

Unrestricted Procedure Calls in Hoare s Logic// Conf. Record of the First Annual ACM Simp. on Principles of Programming Lang. Jan.23-25, 1978-1978.-P.131-139.

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

PAP3 285