Formal Description of Programming Concepts, Erich J. Neuhold; K.R. Apt; E. Astesiano; Manfred

Автор: Pierce Benjamin A
Название: Genetics Essentials. Concepts and Connections. - 3th ed.
ISBN: 1464190755 ISBN-13(EAN): 9781464190759
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Поставка под заказ.

Описание: Derived from Ben Pierce's popular and acclaimed Genetics: A Conceptual Approach, this streamlined text covers basic transmission, molecular, and population genetics.

Автор: David A. Watt
Название: Programming Language Design Concepts
ISBN: 0470853204 ISBN-13(EAN): 9780470853207
Издательство: Wiley
Рейтинг:
Цена: 8546.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the paradigms: imperative, OO, concurrent, functional, logic and with scripting languages. This book includes numerous examples using C, Java and C++ as exemplar languages.

Автор: Braun
Название: Object-oriented Programming in SIMOTION Fundamentals, Program Examples and Software Concepts according to IEC 61131-3
ISBN: 3895784567 ISBN-13(EAN): 9783895784569
Издательство: Wiley
Рейтинг:
Цена: 6011.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addressing students, mechanical engineers, technicians and experienced automation engineers, the book will assist to understand and to use OOP in accordance with IEC 61131-3. In a step-by-step process, example programs show how to design a ready-to-use machine module.

Автор: 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.

Автор: M.J.C. Gordon
Название: The Denotational Description of Programming Languages
ISBN: 0387904336 ISBN-13(EAN): 9780387904337
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains how to formally describe programming languages using the techniques of denotational semantics. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) with an elegant and rigorous theory (due to Scott).

Автор: Elliott Eric
Название: Programming with JavaScript
ISBN: 1491950293 ISBN-13(EAN): 9781491950296
Издательство: Wiley
Рейтинг:
Цена: 5067.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Take advantage of JavaScript`s power to build robust web-scale or enterprise applications that are easy to extend and maintain. By applying the design patterns outlined in this practical book, experienced JavaScript developers will learn how to write flexible and resilient code that`s easier - yes, easier - to work with as your code base grows.

Автор: Sestoft, Peter
Название: Programming language concepts
ISBN: 331960788X ISBN-13(EAN): 9783319607887
Издательство: Springer
Рейтинг:
Цена: 7406.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The other describes how to compile a C subset to real (x86) hardware, as a smooth extension of the previously presented compilers.The examples present several interpreters and compilers for toy languages, including compilers for a small but usable subset of C, abstract machines, a garbage collector, and ML-style polymorphic type inference.

Автор: David Gries; Willem-Paul de Roever
Название: Programming Concepts and Methods PROCOMET `98
ISBN: 1475762992 ISBN-13(EAN): 9781475762990
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: F.L. Bauer; Manfred Broy; E.W. Dijkstra; C.A.R. Ho
Название: Control Flow and Data Flow: Concepts of Distributed Programming
ISBN: 3540170820 ISBN-13(EAN): 9783540170822
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984

Автор: G?kt?rk ??oluk; Sinan Kalkan
Название: Introduction to Programming Concepts with Case Studies in Python
ISBN: 3709117445 ISBN-13(EAN): 9783709117446
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The World of Programming.- Programming Languages.- Programming Paradigms.- The Zoo of Programming Languages.- How Programming Languages are Implemented.- How a Program gets "written".- Meet Python.- Further Reading.- Exercises.- Data: The First Ingredient of a Program.- What is Data?.- What is Structured Data?.- Basic Data Types.- Basic Organization of Data: Containers.- Accessing Data or Containers by Names: Variables.- Further Reading.- Exercises.- Actions: the 2nd Ingredient of a Program.- Purpose and Scope of Actions.- Action Types.- Controlling Actions: Conditionals.- Reusable Actions: Functions.- Functional Programming Tools in Python.- Further Reading.- Exercises.- Managing the Size of a Problem.- An Action Wizard: Recursion.- Iteration.- Recursion versus Iteration.- Further Reading.- Exercises.- Complexity.- Time and Memory Complexity.- Further Reading.- Exercises.- Organizing Data.- Primitive and Composite Data Types.- Abstract Data Types.- Abstract Data Types in Python.- Further Reading.- Exercises.- Objects: Reunion of Data and Action.- The Idea behind the Object-Oriented Paradigm (OOP).- Properties of Object-Oriented Programming.- Object-Oriented Programming in Python.- Further Reading.

Автор: David Gries; Willem-Paul de Roever
Название: Programming Concepts and Methods PROCOMET `98
ISBN: 0412837609 ISBN-13(EAN): 9780412837609
Издательство: Springer
Рейтинг:
Цена: 38992.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.

Автор: J. Diaz; I. Ramos
Название: Formalization of Programming Concepts
ISBN: 3540106995 ISBN-13(EAN): 9783540106999
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.