Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785939727570

Книга ISBN13 9785939727570 - Основания языков программирования (Митчелл Дж.) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Основания языков программирования
Книга "Основы языков программирования"написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных...
Авторы: Митчелл Дж.
Издательство: Удмуртский государственный университет (УдГУ)
Год: 2010
Местонахождение: My-shop.ru
ISBN: 978-5-93972-757-0
Название: Основания языков программирования
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике....
Авторы: Дж. Митчелл
Издательство: Регулярная и хаотическая динамика
Год: 2010
Местонахождение: OZON.ru
ISBN: 978-5-93972-757-0
Название: Основания языков программирования
Книга "Основы языков программирования"написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных...
Авторы: Митчелл Дж.
Издательство: Удмуртский государственный университет (УдГУ)
Год: 2010
Местонахождение: My-shop.ru
ISBN: 978-5-93972-757-0

Где читать эту книгу?

Российские библиотеки и не только

Название: Основания языков программирования
Авторы: Митчелл, Джон
Издательство: Москва; Ижевск: Регулярная и хаотическая динамика
Год: 2010
Местонахождение: Национальная библиотека Удмуртской Республики
ISBN: 978-5-93972-757-0


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.