Logo

Computer Science: Abstraction to Implementation

Small book cover: Computer Science: Abstraction to Implementation

Computer Science: Abstraction to Implementation
by

Publisher: Harvey Mudd College
Number of pages: 627

Description:
This book is intended for a broad second course in computer science, one emphasizing principles wherever it seems possible at this level. While this course builds and amplifies what the student already knows about programming, it is not limited to programming. Instead, it attempts to use various programming models to explicate principles of computational systems.

Home page url

Download or read it online for free here:
Download link
(3.4MB, PDF)

Similar books

Book cover: The Craft of ProgrammingThe Craft of Programming
by - Prentice Hall
Read this book if you need a much deeper understanding of programming: the need to carefully structure a program to avoid being overwhelmed by its complexity, or the need to insure reliability beyond what can he achieved by debugging.
(19041 views)
Book cover: Inductive Logic Programming: Theory and MethodsInductive Logic Programming: Theory and Methods
by - ScienceDirect
Inductive Logic Programming is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. The authors survey the most important theories and methods of this new field.
(28164 views)
Book cover: Zen Style ProgrammingZen Style Programming
by - Lulu Press
This book introduces the concept of functional programming, describes a language that fulfills all the requirements, and shows how to solve simple problems in it. The book shows how to apply these techniques to some problems of varying complexity.
(12153 views)
Book cover: Concepts, Techniques, and Models of Computer ProgrammingConcepts, Techniques, and Models of Computer Programming
by - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
(21070 views)