Название: 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Автор: КоллективИздательство: 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Автор: КоллективИздательство: 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 Автор: Vasilios N. KatsikisИздательство: InTechГод: 2012Страниц: 484Формат: PDFРазмер: 20 MbЯзык: . . .
Название: 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. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.