Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 


Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

Types and programming languages, Pierce, Benjamin C.

Types and programming languages

Автор: Pierce, Benjamin C.
Название:  Types and programming languages   (Бенджамин К. Пирс: Печать и языки программирования)
Издательство: Wiley
Классификация:
Общая теория обработки данных

ISBN: 0262162091
ISBN-13(EAN): 9780262162098
ISBN: 0-262-16209-1
ISBN-13(EAN): 978-0-262-16209-8
Обложка/Формат: Hardcover
Страницы: 648
Вес: 1.269 кг.
Дата издания: 05.02.2002
Язык: ENG
Иллюстрации: 60 illustrations
Размер: 23.88 x 20.62 x 3.61 cm
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: This text provides an introduction to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations.

 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 7 апр 2017
Ориентировочная дата поставки: 2 май 2017
При условии наличия книги у поставщика.
4395.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Beginning lua programming

Автор: Jung, Kurt Brown, Aaron
Название: Beginning lua programming
ISBN: 0470069171 ISBN-13(EAN): 9780470069172
Издательство: Wiley
Цена: 2375 р.
Наличие на складе: Поставка под заказ.
Описание: Suitable for those affected by Parkinson`s disease, this book helps discover how to keep a positive attitude and lead an active, productive life. It also provides coping skills, first hand advice, and practical tools, such as worksheets to assess care options, questions to ask doctors, and listings of care providers. Presents the fundamentals of programming with Lua. This book explains standard Lua functions, and how to take advantage of free Lua community resources. It integrates code samples throughout the chapters to demonstrate how to apply the information so that readers can write your own programs.
Купить

Real-Time Systems and Programming Languages

Автор: Burns Alan
Название: Real-Time Systems and Programming Languages
ISBN: 0321417453 ISBN-13(EAN): 9780321417459
Издательство: Pearson Education
Цена: 3927 р.
Наличие на складе: Поставка под заказ.
Купить

Introduction to the Theory of Programming Languages

Автор: Dowek
Название: Introduction to the Theory of Programming Languages
ISBN: 0857290754 ISBN-13(EAN): 9780857290755
Издательство: Springer
Цена: 2692 р.
Наличие на складе: Нет в наличии.
Описание: The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages.
Купить

Programming Languages and Systems

Автор: Giuseppe Castagna
Название: Programming Languages and Systems
ISBN: 3642005896 ISBN-13(EAN): 9783642005893
Издательство: Springer
Цена: 6698 р.
Наличие на складе: Нет в наличии.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Купить

Programming Languages and Systems

Автор: Zhenjiang Hu
Название: Programming Languages and Systems
ISBN: 3642106714 ISBN-13(EAN): 9783642106712
Издательство: Springer
Цена: 5774 р.
Наличие на складе: Нет в наличии.
Купить

Programming Languages and Systems / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Автор: Kobayashi Naoki
Название: Programming Languages and Systems / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
ISBN: 3540489371 ISBN-13(EAN): 9783540489375
Издательство: Springer
Цена: 6698 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006.The 22 revised full papers presented together with 2 invited talks and 1 tutorial were carefully reviewed and selected from 70 submissions. The symposium is devoted to both foundational and practical issues in programming languages and systems. Among the topics covered are semantics, logics, type theory, language design, program analysis, optimization and transformation, software security, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Купить

Programming Languages and Systems / 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Автор: De Nicola Rocco
Название: Programming Languages and Systems / 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
ISBN: 354071314X ISBN-13(EAN): 9783540713142
Издательство: Springer
Цена: 8469 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.The 34 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 136 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and systems. The papers are organized in topical sections on models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
Купить

Comparative programming languages

Автор: Wilson, L.b. Clark, Robert G.
Название: Comparative programming languages
ISBN: 0201710129 ISBN-13(EAN): 9780201710120
Издательство: Pearson Education
Цена: 3469 р.
Наличие на складе: Поставка под заказ.
Описание: This new edition has been brought up to date with new developments in the field: the increase in the use of object-oriented languages as a student`s first language, the growth in the importance of graphical user interfaces and the widespread use of the internet.
Купить

Advanced topics in types and programming languages

Название: Advanced topics in types and programming languages
ISBN: 0262162288 ISBN-13(EAN): 9780262162289
Издательство: Wiley
Цена: 4308 р.
Наличие на складе: Поставка под заказ.
Купить

Programming languages and methodologi

Автор: Schalkoff
Название: Programming languages and methodologi
ISBN: 0763740594 ISBN-13(EAN): 9780763740597
Издательство: Jones & Bartlett
Цена: 17486 р.
Наличие на складе: Поставка под заказ.
Купить

Essentials of Programming Languages

Автор: Seegel, Steven
Название: Essentials of Programming Languages
ISBN: 0262062798 ISBN-13(EAN): 9780262062794
Издательство: MIT Press
Цена: 4167 р.
Наличие на складе: Нет в наличии.
Описание: Offers students with an understanding of the essential concepts of programming languages. This book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. It can be used for both graduate and undergraduate courses.
Купить

Programming languages

Автор: Tucker
Название: Programming languages
ISBN: 0071254390 ISBN-13(EAN): 9780071254397
Издательство: McGraw-Hill
Цена: 4311 р.
Наличие на складе: Поставка под заказ.
Описание: Emphasizes a treatment of key issues in programming language design, providing a mix of explanation and experimentation. Presenting the fundamental principals of programming languages, this edition also includes a treatment of the four major programming paradigms, and incorporates languages such as Perl and Python.
Купить


 
ООО "Логосфера " Тел:(495) 748-51-16 Факс: (495) 689-73-83 доб.116 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн