Название: Foundations for Programming Languages
Издательство: The MIT Press
Автор: John C. Mitchell
Год: 1996
Количество страниц: 845
Формат: DJVU
Размер: 6 mb
Язык: English
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
DEPOSITFILES.COM
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12765 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Путеводитель по "Коду да Винчи"Автор: Майкл Хааг, Вероника ХаагИздательство: АСТ, АстрельГод: 2006Формат: DjVuРазмер: 6.8 МбКачество: ХорошееЯзык: РусскийТриллер Дэна Брауна, а теперь и снят . . .
Назва: КузяРік / місяць: 2012/вересеньНомер: 9 (49)Вид-во: ВД "Зеніт"Формат: pdfСтор.: 68Розмір: 19,76 Мб Дитячий журнал, в якому ви знайдете багато захоплюючих пригод разом з головним героєм Кузею та . . .
Название: Практические рекомендации по курсу "Историческая библиография"Автор: Акашева А.А. Издательство: Нижегородский госуниверситетГод: 2009Страниц: 62Формат: PDFРазмер: 2,84 МбВ учебно-методическо . . .
Автор: Хуснулина Разиля РафинатовнаНазвание: Английский роман XX века: Диалог с Ф.М. ДостоевскимИздательство: Москва: ИМЛИ РАНГод: 2005Формат: PDFРазмер: 34 MBОписание: Диссертация на соискание ученой . . .
Название: Scooby-Doo! Великие тайны мира № 10Издательство: ООО "деАгостини"Год выпуска: 2012Страниц: 22Формат: pdfРазмер: 21,15 МбЯзык: русский«Scooby-Doo! Великие тайны мира» — новый увлекательный жу . . .
Название: Советский воин Издательство: Воениздат Номер: 11 Месяц / Год: июнь / 1954 Страниц: 40 Формат: -pdf Размер файла: -61.4 Мб Язык: русский . . .
Название: Домашний очаг Издательство: Индепендент Медиа Номер: 4 Месяц / Год: апрель / 2014 Страниц: 124 Формат: PDF Размер файла: 134 Мб Язык: Русский . . .
Название: Калашников Издательство: Федерация практической стрельбы России Номер: 4 Месяц / Год: апрель / 2005 Страниц: 65 Формат: -djvu Размер файла: -18 Мб Я . . .
Название: Мой ребенок Издательство: Бурда Номер: 4 Месяц / Год: апрель / 2014 Страниц: 288 Формат: PDF Размер файла: 73 Мб Язык: Русский . . .
Автор: Галина Серикова Год издания: 2014 Формат: pdf Издат.: РИПОЛ классик Страниц: 264 Размер: 5.3 Мб Язык: Русский Ключевым элементом здоро . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Foundations for Programming Languages. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.