Поиск :
Личный кабинет :
Электронный каталог: Dijkstra, Edsger - Formal Development of Programs and Proofs
Dijkstra, Edsger - Formal Development of Programs and Proofs
Доступно
1 из 1
1 из 1
Книга
Автор: 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.