A practical theory of programming
Eric C.R. Hehner
Covers Boolean theory, number and character theory, bunch, set, string and list theory, functions and quantifiers, specifications, real time, robustness, data structures, control structures, subprograms, functional programming, recursive definition, data and program theories, concurrency, and communication. Contains 372 exercises at the end of the book, arranged by chapter.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
