Поиск :
Личный кабинет :
Электронный каталог: Dijkstra, Edsger - Formal Development of Programs and Proofs
Dijkstra, Edsger - Formal Development of Programs and Proofs
Книга
Автор: Dijkstra, Edsger
Formal Development of Programs and Proofs
Издательство: Addison-Wesley Publishing Co., 1990 г.
ISBN 0-201-17237-2
Автор: Dijkstra, Edsger
Formal Development of Programs and Proofs
Издательство: Addison-Wesley Publishing Co., 1990 г.
ISBN 0-201-17237-2
Книга
32.973-01 F76
0083202 ОЛИЯ
Dijkstra, Edsger.
Formal Development of Programs and Proofs / Edsger Dijkstra.– Reading : Addison-Wesley Publishing Co., 1990.– 242 с. – На англ. яз.
ISBN 0-201-17237-2 : 1000.00.
ББК 32.973-01 F76
-- 1. Electronic Digital Computers – Programming – Congresses.
32.973-01 F76
0083202 ОЛИЯ
Dijkstra, Edsger.
Formal Development of Programs and Proofs / Edsger Dijkstra.– Reading : Addison-Wesley Publishing Co., 1990.– 242 с. – На англ. яз.
ISBN 0-201-17237-2 : 1000.00.
ББК 32.973-01 F76
-- 1. Electronic Digital Computers – Programming – Congresses.
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ОЛИЯ | Общий | 1 | 1 | 1 | Заказать |