Concepts, Techniques, and Models of Computer Programming

FreeTechBooks.com
Free Online Computer Science and Programming Books, Textbooks, and Lecture Notes

FreeTechBooks.com Homepage » Formal Methods

Posted: Sat Oct 30, 2004 1:16 pm by ndaru

Concepts, Techniques, and Models of Computer Programming

Author(s) : Peter Van Roy and Seif Haridi
Publication date : 2002

Update :

Quote:

"Since the book is now available, we have removed the online draft at the publisher's request. (If you find a copy of this draft, please be warned that the published book has a huge number of improvements and corrections.) On the Web, we found low prices at various places (discounts change quickly, so it pays to look at various bookstores)."

Book excerpts:

This textbook provides a broad and deep view of practical computer programming. It brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms. It explains the principles of designing abstractions and building complex systems with them. It emphasizes scalable techniques useful in real programs.

All program fragments in the book can be run on the accompanying software development platform. The book is suitable for undergraduate and graduate courses in programming techniques and paradigms, and can complement courses in software engineering, user interface design, distributed programming, constraint programming, and semantics.

View/Download Concepts, Techniques, and Models of Computer Programming (the online draft)

Also visit the book's official website for more free course materials, talks, and articles