Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Язык: русский
Формат: pdf
Размер: 5.4 Мб
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Скачать с Turbobit.net
Скачать с Bezsms.org
Скачать с Dfiles.ru
Скачать с File-space.org
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12752 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Автор: Терещенко Т.Н. (составитель)Название: Симфония по творениям святителя Тихона ЗадонскогоИздательство: ДаръКачество: Отсканированные страницы + слой распознанного текстаКоличество страниц: 1328Жа . . .
Автор: Протоиерей Николай ОзолинНазвание: Православная иконография Пятидесятницы. Об истоках и эволюции византийского изводаИздательство: Споручницы ГрешныхГод издания: 2001Формат: PDFЯзык: русскийCтр . . .
Автор: Терещенко Т.Н. (составитель)Название: Симфония по творениям преподобного Ефрема СиринаИздательство: ДаръКачество: Отсканированные страницы + слой распознанного текстаКоличество страниц: 479Жанр . . .
Автор: Терещенко Т.Н. (составитель)Название: Симфония по творениям святителя Игнатия БрянчаниноваИздательство: ДаръКачество: Отсканированные страницы + слой распознанного текстаКоличество страниц: 776 . . .
Автор: Терещенко Т.Н. (составитель)Название: Симфония по творениям святителя Григория БогословаИздательство: ДаръКачество: Отсканированные страницы + слой распознанного текстаКоличество страниц: 609Жа . . .
Автор: Инок АнастасийНазвание: Одна дорога есть на Небо, в погибель - тысячи дорог. Как я будучи баптистом, обрел Истину ПравославияИздательство: МоскваКачество: Отсканированные страницы + слой распоз . . .
Автор: Священник Андрей ГорбуновНазвание: Тайна ЗверяИздательство: МоскваКачество: Изначально компьютерное (eBook)Количество страниц: 340Жанр: БогословиеЯзык: РусскийГод: 2005Формат: PDFРазмер: 2,73 М . . .
Название: Беседы о главном. Советы, помогающие в жизниАвтор: Под ред. Архиепископа Егорьевского Марка (Головкова)Издательство: ДаръISBN: 978-5-485-00369-2Год выпуска: 2012Страниц: 224Формат: rtf,pdfРа . . .
Весёлая повесть, главные герои которой наш современник, школьник по имени Вася и его ровесница Июлька. Вася - горе-изобретатель. Июлька - горе-чародейка. Он живет в обычном городе. Она - в волшебном С . . .
Название: Путин. Россия перед выборомАвтор: Леонид Млечин Год издания: 2012Издательство: ПитерISBN: 978-5-459-01226-2Страниц: 448Формат: RTF,FB2Размер: 7 . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Типы в языках программирования. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.