Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 16083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both 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. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Автор: Roy, Peter Van Haridi, Seif Название: Concepts, techniques, and models of computer programming ISBN: 0262220695 ISBN-13(EAN): 9780262220699 Издательство: MIT Press Рейтинг: Цена: 11642.00 р. Наличие на складе: Нет в наличии.
Описание: This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. It presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together.
Описание: Derived from Ben Pierce's popular and acclaimed Genetics: A Conceptual Approach, this streamlined text covers basic transmission, molecular, and population genetics.
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029264 ISBN-13(EAN): 9783642029264 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part I. .
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: Alessandro Aldini; Marco Bernardo; Alessandra Di P Название: Formal Methods for Quantitative Aspects of Programming Languages ISBN: 364213677X ISBN-13(EAN): 9783642136771 Издательство: Springer Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Philippa Gardner; Floris Geerts Название: Database Programming Languages ISBN: 3642037925 ISBN-13(EAN): 9783642037924 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 12th International Symposium DBPL 2009 Lyon France August 24 2009 Proceedings. .
Автор: Leach Название: Introduction to Software Engineering, Second Edition ISBN: 1498705278 ISBN-13(EAN): 9781498705271 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Practical Guidance on the Efficient Development of High-Quality Software
Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of future changes in the field, even if the changes are unpredictable or disruptive in nature. Retaining the same organization as its predecessor, this second edition adds considerable material on open source and agile development models.
The text helps students understand software development techniques and processes at a reasonably sophisticated level. Students acquire practical experience through team software projects. Throughout much of the book, a relatively large project is used to teach about the requirements, design, and coding of software. In addition, a continuing case study of an agile software development project offers a complete picture of how a successful agile project can work.
The book covers each major phase of the software development life cycle, from developing software requirements to software maintenance. It also discusses project management and explains how to read software engineering literature. Three appendices describe software patents, command-line arguments, and flowcharts.
Автор: Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3319479571 ISBN-13(EAN): 9783319479576 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
