Название: Concepts, Techniques, and Models of Computer Programming
Издательство: The MIT Press
Автор: Peter Van Roy, Seif Haridi
Год: 2004
Количество страниц: 900
Формат: PDF
Размер: 12 mb
Язык: English
This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together.
After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language—a simple core language that consists of a small number of programmer- significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.
DEPOSITFILES.COM
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12858 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Типографика в терминах и образах. В 2-х тт. Автор: В. Кричевский Издательство: Слово / Slovo ISBN: 5-85050-238-6, 5-85050-239-4 Год издания: 2000 Страниц: 302 Язык: Русский Формат: DJVU Ка . . .
Название: Adobe Photoshop Elements 9: Maximum Performance: Unleash the hidden performance of Elements Автор: Mark Galer M.Ed. Издательство: Focal Press Год издания: 2010 Страниц: 368 Язык: Английски . . .
Название: Локальные вычислительные сети Автор: Чекмарев Ю. В. Издательство: ДМК Пресс ISBN: 978-5-94074-460-3 Год издания: 2009 Страниц: 200 Язык: Русский Формат: PDF Качество: хорошее Размер: 2,6 М . . .
Название: Системы передачи информации Автор: Рудой В.М. Издательство: МГОУ Год издания: 2004 Страниц: 171 Язык: Русский Формат: doc Качество: отличное Размер: 25.6 МбОписание: В этой книге рассмотре . . .
Название: Серьезная литература по информационной безопасности Автор: ТУСУР Год издания: 2006 Страниц: много Язык: Русский Формат: DOC Качество: отличное Размер: 17.4 МбОписание: Список: 1. Безопаснос . . .
Название: Introducing Character Animation with Blender Автор: Tony Mullen Издательство: SYBEX ISBN: 047042737X Год издания: 2010 Страниц: 496 Язык: Английский Формат: epub Качество: отличное Размер: . . .
Название: Color Management. A Comprehensive Guide for Graphic Designers Автор: John T.Drew & Sarah A.Meyer Издательство: RotoVision ISBN: 2-88046-819-1 Год издания: 2005 Страниц: 224 Язык: Английски . . .
Название: The HDRI Handbook: High Dynamic Range Imaging for Photographers and CG Artists Автор: Christian Bloch Издательство: Rocky Nook Год издания: 2011 Страниц: 344 Язык: Английский Формат: pdf К . . .
Название: Professional Portrait Retouching Techniques for Photographers Using Photoshop (Voices That Matter) Автор: Scott Kelby Издательство: New Riders Press Год издания: 2011 Страниц: 538 Язык: Ан . . .
Название: Serial Photography: Using Themed Images to Improve Your Photographic Skills Автор: Harald Mante Год издания: 2011 Страниц: 160 Язык: Английский Формат: pdf Качество: отличное Размер: 10,9 М . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Concepts, Techniques, and Models of Computer Programming. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.