Formal development of programs and proofs ed. Edsger W. Dijkstra
Сохранить в:
| Тип документа: | Книга |
|---|---|
| Язык: | English |
| Год издания: |
Reading, Massachusetts Addison-Wesley Publ. Co. 1990
|
| Рубрика: | |
| Ключевые слова: |
Недоступно
| Шифр: |
Временно недоступно |
|---|---|
| Копировать 1 | Доступно |