+7(495) 980-12-10
  10:00-18:00 пн-пт
    shop@logobook.ru
   
    Поиск книг                    Поиск по списку 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
Обложка/Формат: Hardback
Страницы: 648
Вес: 1.36 кг.
Дата издания: 05.02.2002
Язык: ENG
Иллюстрации: 60 illustrations
Размер: 23.88 x 20.62 x 3.61 cm
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: 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 Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 19шт.  Склад Америка: 1шт.  
При оформлении заказа до: 25 май 2017
Ориентировочная дата поставки: 19 июн 2017
4396.00
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Advanced topics in types and programming languages

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

Principles of Programming Languages

Автор: Gilles Dowek
Название: Principles of Programming Languages
ISBN: 1848820313 ISBN-13(EAN): 9781848820319
Издательство: Springer
Цена: 2306 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: The development of programming languages has radically modified our relation to language, complexity and machines. This book is an introduction to the principles around which these languages are organised - imperative constructions, functional constructions, reference, dynamic data types, and objects.
Купить

Programming Languages

Автор: Castor
Название: Programming Languages
ISBN: 3319452789 ISBN-13(EAN): 9783319452784
Издательство: Springer
Цена: 3234 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maring?, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
Купить

Concepts in Programming Languages

Автор: John C. Mitchell
Название: Concepts in Programming Languages
ISBN: 0521780985 ISBN-13(EAN): 9780521780988
Издательство: Cambridge Academ
Цена: 4820 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems. This book will give the reader a better understanding of the issues and tradeoffs that arise in programming language design, and a better appreciation of the advantages and pitfalls of the programming languages they use.
Купить

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.
Купить

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.
Купить

Real time programming: languages, specification and verification

Название: Real time programming: languages, specification and verification
ISBN: 9810225660 ISBN-13(EAN): 9789810225667
Издательство: World Scientific Publishing
Цена: 10328 р.
Наличие на складе: Поставка под заказ.
Описание: The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete.The quintessence of the monograph can be captured by the following question:How can we design and develop Robust Reactive (real-time) Programs?We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
Купить

Programming Languages for Business Problem Solving

Автор: Wang
Название: Programming Languages for Business Problem Solving
ISBN: 1420062646 ISBN-13(EAN): 9781420062649
Издательство: Taylor&Francis
Цена: 6863 р.
Наличие на складе: Нет в наличии.
Описание: Programming Languages for Business Problem Solving presents a working knowledge of the major programming languages, including COBOL, C++, Java, and HTML, JavaScript, VB.NET, VBA, ASP.NET, Perl, PHP, XML, SQL, used in the current business computing environment.

The book examines the concepts shared by these languages and also details the unique features of each. It also focuses on various programming techniques, including structured, object-oriented, client-side and server side programming, as well as graphical user-interface and multi-media processing. The book is self-contained, providing hands-on examples, self-review questions, project requirements, report formats, and operational manuals of programming environments for use by both the MIS student and professional.
Купить

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.
Купить

C++ for Mathematicians

Автор: Scheinerman
Название: C++ for Mathematicians
ISBN: 158488584X ISBN-13(EAN): 9781584885849
Издательство: Taylor&Francis
Цена: 5367 р.
Наличие на складе: Нет в наличии.
Описание: The first book available on C++ programming that is written specifically for a mathematical audience, C++ for Mathematicians omits the language’s more obscure features in favor of the aspects of greatest utility for mathematical work. Emphasizing the essential role of practice as part of the learning process, the book is ideally designed for undergraduate coursework as well as self-study. Each chapter provides many problems and solutions which complement the text and enable you to apply concepts right away. An accompanying CD ROM provides all numbered programs so that readers can easily use or adapt the code as needed.
Купить

Theories of Programming Languages

Автор: Reynolds
Название: Theories of Programming Languages
ISBN: 0521106974 ISBN-13(EAN): 9780521106979
Издательство: Cambridge Academ
Цена: 3943 р.
Наличие на складе: Есть у поставщика.Поставка под заказ.
Описание: First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.
Купить

Oracle Embedded Programming and Application Development

Автор: Bulusu
Название: Oracle Embedded Programming and Application Development
ISBN: 1439816441 ISBN-13(EAN): 9781439816448
Издательство: Taylor&Francis
Цена: 9122 р.
Наличие на складе: Нет в наличии.
Купить


 
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн