Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 107220.00 T Наличие на складе: Невозможна поставка. Описание:
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.
Автор: Wang Название: Programming Languages for MIS ISBN: 1482222663 ISBN-13(EAN): 9781482222661 Издательство: Taylor&Francis Рейтинг: Цена: 80630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Programming Languages for MIS: Concepts and Practice supplies a synopsis of the major computer programming languages, including C++, HTML, JavaScript, CSS, VB.NET, C#.NET, ASP.NET, PHP (with MySQL), XML (with XSLT, DTD, and XML Schema), and SQL. Ideal for undergraduate students in IS and IT programs, this textbook and its previous versions have been used in the authors' classes for the past 15 years.
Focused on web application development, the book considers client-side computing, server-side computing, and database applications. It emphasizes programming techniques, including structured programming, object-oriented programming, client-side programming, server-side programming, and graphical user interface.
Introduces the basics of computer languages along with the key characteristics of all procedural computer languages
Covers C++ and the fundamental concepts of the two programming paradigms: function-oriented and object-oriented
Considers HTML, JavaScript, and CSS for web page development
Presents VB.NET for graphical user interface development
Introduces PHP, a popular open source programming language, and explains the use of the MySQL database in PHP
Discusses XML and its companion languages, including XSTL, DTD, and XML Schema
With this book, students learn the concepts shared by all computer languages as well as the unique features of each language. This self-contained text includes exercise questions, project requirements, report formats, and operational manuals of programming environments. A test bank and answers to exercise questions are also available upon qualified course adoption.
This book supplies professors with the opportunity to structure a course consisting of two distinct modules: the teaching module and the project module. The teaching module supplies an overview of representative computer languages. The project module provides students with the opportunity to gain hands-on experience with the various computer languages through projects.
Автор: Varela Carlos A Название: Programming Distributed Computing Systems ISBN: 0262018985 ISBN-13(EAN): 9780262018982 Издательство: MIT Press Рейтинг: Цена: 38500.00 T Наличие на складе: Нет в наличии. Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz