The Deductive Foundations of Computer Programming (книга)
The Deductive Foundations of Computer Programming | |
Автор: | Zohar Manna Richard Waldinger |
---|---|
Оригинал издан: | ???? |
«The Deductive Foundations of Computer Programming» — книга ???? года.
Содержание |
Содержание
От издателя
«…»