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: 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.
(26975 views)
Book cover: Watch What I Do:  Programming by DemonstrationWatch What I Do: Programming by Demonstration
by - The MIT Press
Programming by Demonstration is a method that allows users to create programs by demonstrating what the program should do. The book describes 18 implementations of Programming by Demonstration, and discusses the problems for this method.
(11313 views)
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.
(18082 views)
Book cover: Problem Solving for Coding InterviewsProblem Solving for Coding Interviews
by - GitBook
These are engineer's notes on problem solving. They are ideally suited as practice material for coding interviews. Each post has 5 sections: problem statement, examples, algorithm, code, test cases, and a discussion on time-complexity.
(3265 views)