Шифр: 004.4 F 76
Formal Development of Programs and Proofs / ed. by Dijkstra,Edsger W. : Addison-Wesley Publishing Company, 1990. – 241 p. – (University of Texas at Austin Year of Programming Series). – ISBN 0-201-17237-2. – 150000,00
Formal Development of Programs and Proofs / ed. by Dijkstra,Edsger W. : Addison-Wesley Publishing Company, 1990. – 241 p. – (University of Texas at Austin Year of Programming Series). – ISBN 0-201-17237-2. – 150000,00
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент інозем.літ-ри к. 438 | 1 | 1 |