Formal development of programs and proofs [Текст] / ed. Edsger D. W. - California ; New York ; Amsterdam : Addison-Wesley, 1990. - XIV, 242 p. : ill. - (Electronik digital computers-programming-congresses). - ISBN 0-201-17237-2 - 5.000.



Основное заглавие: Formal development of programs and proofs

Ответственность: ed. Edsger D. W.

Физический носитель: Текст

Год публикации: 1990

Место издания: California ; New York ; Amsterdam

Издательство: Addison-Wesley

Объем: XIV, 242 p.

ISBN: 0-201-17237-2

Cерия: Electronik digital computers-programming-congresses

Ключевые слова: Программирование;

ББК: 32.973.26-018.2

32.97
F 75
 
Formal development of programs and proofs [Текст] / ed. Edsger D. W. - California ; New York ; Amsterdam : Addison-Wesley, 1990. - XIV, 242 p. : ill. - (Electronik digital computers-programming-congresses). - ISBN 0-201-17237-2 - 5.000.
ББК 32.973.26-018.2
2363856-ино_абн; 2363857-ино_абн;
Находится: СОУНБ | Чтобы заказать это издание, а так же копию его фрагмента, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2363856 ино_абн Доступна -
2 2363857 ино_абн Доступна -
Х

При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера