Оформить заказ
+7(495) 980-12-10
  10:00-18:00 пн-сб
    shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
  Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 
 
Книги
Книги зарубежных издательств на иностранных языках

Книги российских издательств

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

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


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 Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 33шт.  Склад Америка: 1шт.  
При оформлении заказа до: 24 ноя 2017
Ориентировочная дата поставки: конец Декабря
4396.00
 Добавить в корзину


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.

в Мои желания
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 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 р.
Наличие на складе: Поставка под заказ.

в Мои желания
Some Assembly Required

Автор: Margush
Название: Some Assembly Required
ISBN: 1439820643 ISBN-13(EAN): 9781439820643
Издательство: Taylor&Francis
Рейтинг:
Цена: 9430 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive treatment of assembly language programming and computer organization, this text teaches the basic system capabilities of 8-bit AVR microcontrollers. It provides a foundation for understanding compilers, linkers, loaders, and operating systems in addition to the processors themselves. The book covers function call mechanisms and parameter passing techniques, explains how to use the XPLAIN Evaluation Kit, and describes data representation for integers, floating point, and character data. Along with many examples to illustrate the assembly language concepts, each chapter includes standard questions and programming exercises.

в Мои желания
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

Автор: Atsushi Igarashi
Название: Programming Languages and Systems
ISBN: 3319479571 ISBN-13(EAN): 9783319479576
Издательство: Springer
Рейтинг:
Цена: 5082 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

в Мои желания
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.

в Мои желания

 
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru