Formal development of programs and proofs — Самарская областная универсальная научная библиотека

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

Основное заглавие: 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

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

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

ББК: 32.973.26-018.2