Foundations for Programming Languages


Книга Foundations for Programming Languages



Название: 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 МбКачество: ХорошееЯзык: РусскийТриллер Дэна Брауна, а теперь и снят . . .

  • Журнал Кузя №9, 2012

    Кузя №9, 2012

    Назва: КузяРік / місяць: 2012/вересеньНомер: 9 (49)Вид-во: ВД "Зеніт"Формат: pdfСтор.: 68Розмір: 19,76 Мб Дитячий журнал, в якому ви знайдете багато захоплюючих пригод разом з головним героєм Кузею та . . .

  • Книга Практические рекомендации по курсу "Историческая библиография"

    Практические рекомендации по курсу "Историческая библиография"

    Название: Практические рекомендации по курсу "Историческая библиография"Автор: Акашева А.А. Издательство: Нижегородский госуниверситетГод: 2009Страниц: 62Формат: PDFРазмер: 2,84 МбВ учебно-методическо . . .

  • Аудиокнига Английский роман XX века: Диалог с Ф.М. Достоевским  (Диссертация)

    Английский роман XX века: Диалог с Ф.М. Достоевским (Диссертация)

    Автор: Хуснулина Разиля РафинатовнаНазвание: Английский роман XX века: Диалог с Ф.М. ДостоевскимИздательство: Москва: ИМЛИ РАНГод: 2005Формат: PDFРазмер: 34 MBОписание: Диссертация на соискание ученой . . .

  • Журнал Scooby-Doo! Великие тайны мира № 10

    Scooby-Doo! Великие тайны мира № 10

    Название: Scooby-Doo! Великие тайны мира № 10Издательство: ООО "деАгостини"Год выпуска: 2012Страниц: 22Формат: pdfРазмер: 21,15 МбЯзык: русский«Scooby-Doo! Великие тайны мира» — новый увлекательный жу . . .

  • Журнал Журнал Советский воин №11 1954

    Журнал Советский воин №11 1954

    Название:  Советский воин Издательство:  Воениздат Номер:  11 Месяц / Год:  июнь / 1954 Страниц:  40 Формат:  -pdf Размер файла:  -61.4 Мб Язык:  русский . . .

  • Журнал Журнал Домашний очаг №4 (апрель 2014) Украина

    Журнал Домашний очаг №4 (апрель 2014) Украина

    Название:  Домашний очаг Издательство:  Индепендент Медиа Номер:  4 Месяц / Год:  апрель / 2014 Страниц:  124 Формат:  PDF Размер файла:  134 Мб Язык:  Русский . . .

  • Журнал Журнал Калашников №4 2005

    Журнал Калашников №4 2005

    Название:  Калашников Издательство:  Федерация практической стрельбы России Номер:  4 Месяц / Год:  апрель / 2005 Страниц:  65 Формат:  -djvu Размер файла:  -18 Мб Я . . .

  • Журнал Журнал Мой ребенок №4 (апрель 2014)

    Журнал Мой ребенок №4 (апрель 2014)

    Название:  Мой ребенок Издательство:  Бурда Номер:  4 Месяц / Год:  апрель / 2014 Страниц:  288 Формат:  PDF Размер файла:  73 Мб Язык:  Русский . . .

  • Книга Блюда из красной рыбы

    Блюда из красной рыбы

    Автор: Галина Серикова Год издания: 2014 Формат: pdf Издат.: РИПОЛ классик Страниц: 264 Размер: 5.3 Мб Язык: Русский Ключевым элементом здоро . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Foundations for Programming Languages. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.