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 оценок
Формат: Книга
Уже скачали: 12766 раз



Похожие Книги

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

  • Журнал Summer Love OH 44647

    Summer Love OH 44647

    Название: Summer LoveАвтор: КоллективИздательство: Shinysuns Cross Stitching Год издания: N/O Номер издания: OH 44647 Количество страниц: 11 Язык: Английский Качество: отличное Формат: jpg Размер: 36m . . .

  • Книга Гребные винты регулируемого шага. Устройство и эксплуатация

    Гребные винты регулируемого шага. Устройство и эксплуатация

    Название: Гребные винты регулируемого шага. Устройство и эксплуатацияАвтор: Ермошкин Н.Г., Калугин В.Н., Пономаренко В.В. и др.Издательство: Одесса. Типография "ТЭС"Год: 2002Страниц: 143Формат: pdfРаз . . .

  • Книга Андре Ситроен

    Андре Ситроен

    Название: Андре СитроенАвтор: Марк Григорьевич БлауИздательство: ИсраДонГод: 2010Формат: RTF, FB2, PDFРазмер: 18,15 МбКачество: ХорошееЯзык: РусскийДля современного человека слово «Ситроен» ассоциируе . . .

  • Журнал Floarea soerelui in vas de lut 2001

    Floarea soerelui in vas de lut 2001

    Название: Floarea soerelui in vas de lutАвтор: КоллективИздательство: Goblenset Год издания: 2001Номер: 746Количество страниц: 25Язык: румынскийФормат: jpgРазмер: 52.3МбВышивка крестом. Замечательные . . .

  • Книга Проектирование конструктивного мидель-шпангоута стальных судов

    Проектирование конструктивного мидель-шпангоута стальных судов

    Название: Проектирование конструктивного мидель-шпангоута стальных судов внутреннего и смешанного плаванияАвтор: Зуев В.А.Издательство: Нижегородский государственный технический университетГод: 2007Ст . . .

  • Аудиокнига Гипнотизер (аудиокнига)

    Гипнотизер (аудиокнига)

    Название: ГипнотизёрАвтор: Ларс КеплерИздательство: Нигде не купишьГод выпуска: 2012Жанр: детектив, триллерАудио кодек: MP3Битрейт аудио: 96 kbpsИсполнитель: Леонтина БроцкаяПродолжительность: 19: . . .

  • Книга Гребные винты регулируемого шага

    Гребные винты регулируемого шага

    Название: Гребные винты регулируемого шагаАвтор: Бакшт Ю.В., Лофенфельд Е.Г., Русецкий А.А.Издательство: СудпромгизГод: 1961Страниц: 328 Формат: pdfРазмер: 20 МбКачество: хорошееЯзык: русскийРассматри . . .

  • Книга Технология и организация судоремонта в рыбной промышленности

    Технология и организация судоремонта в рыбной промышленности

    Название: Технология и организация судоремонта в рыбной промышленностиАвтор: Гальянов А.П.Издательство: АгропромиздатГод: 1988ISBN: 5—10—000274 — 3Страниц: 302Формат: pdfРазмер: 13 МбКачество: нормаль . . .

  • Книга MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 3

    MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 3

    Название: MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 3 Автор: Vasilios N. KatsikisИздательство: InTechГод: 2012Страниц: 484Формат: PDFРазмер: 20 MbЯзык: . . .

  • Книга MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 2

    MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 2

    Название: MATLAB - A Fundamental Tool for Scientific Computing and Engineering Applications. Volume 2 Автор:Vasilios N. Katsikis Издательство: InTechГод: 2012Страниц: 310Формат: PDFРазмер: 17 MbЯзык: . . .


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

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

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


Ой!

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