Ebook: A practical theory of programming
Author: Eric C.R. Hehner
- Genre: Computers // Programming
- Series: Texts and monographs in computer science
- Year: 1993
- Publisher: Springer-Verlag
- City: New York
- Edition: 2004.01.01
- Language: English
- pdf
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.
Download the book A practical theory of programming for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)