Written by three master computing scientists giving a formal treatment to various computing/computer science subjects covered typically in the undergraduate curriculum.
The book covers formal methods for writing structured programs using structured functions and concepts. The book also covers the idea and implementation of data structures.
Finally, the book includes a section on hierarchical object-oriented programming viewed from a formal comp...
more
Written by three master computing scientists giving a formal treatment to various computing/computer science subjects covered typically in the undergraduate curriculum.
The book covers formal methods for writing structured programs using structured functions and concepts. The book also covers the idea and implementation of data structures.
Finally, the book includes a section on hierarchical object-oriented programming viewed from a formal computing perspective.
less
