The Deductive Foundations of Computer Programming (книга)
| The Deductive Foundations of Computer Programming | |
| Автор: | Zohar Manna Richard Waldinger |
|---|---|
| Оригинал издан: | ???? |
«The Deductive Foundations of Computer Programming» — книга ???? года.
Содержание[убрать] |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
