Reasoning about Programs: Integrating Verification and Analysis of Algorithms Into The Introductory Programming Course | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

логический

верификация

программа

обучение

Стр.:

P.198-202.

Источник:

Номер:

1

Том:

25

Карточка:

В4.43, В2.11.

Fekete A..

Reasoning about Programs: Integrating Verification and Analysis of Algorithms Into The Introductory Programming Course// SIGCSE Bull.-1993, №1.-Vol. 25.-P.198-202.

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

ACM2 663