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

Автор: Roy, Peter Van Haridi, Seif
Название: Concepts, techniques, and models of computer programming
ISBN: 0262220695 ISBN-13(EAN): 9780262220699
Издательство: MIT Press
Рейтинг:
Цена: 77610.00 T
Наличие на складе: Нет в наличии.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

Название: Super Scratch Programming Adventure!: Learn to Program by Ma
ISBN: 1593275315 ISBN-13(EAN): 9781593275310
Издательство: Random House (USA)
Рейтинг:
Цена: 15290.00 T
Наличие на складе: Невозможна поставка.
Описание: "This edition has been updated to cover Scratch 2"--Title page verso.

Автор: Elliott Eric
Название: Programming with JavaScript
ISBN: 1491950293 ISBN-13(EAN): 9781491950296
Издательство: Wiley
Рейтинг:
Цена: 33780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 49370.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 37220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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
Рейтинг:
Цена: 259950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

Автор: Maurice Herlihy
Название: The Art of Multiprocessor Programming, Revised Reprint,
ISBN: 0123973376 ISBN-13(EAN): 9780123973375
Издательство: Elsevier Science
Рейтинг:
Цена: 62390.00 T
Наличие на складе: Невозможна поставка.
Описание: Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that needed for efficient single-core programming. This book provides comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. Students and professionals alike will benefit from thorough coverage of key multiprocessor programming issues.