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

Programming Concepts and Methods PROCOMET `98, David Gries; Willem-Paul de Roever


Варианты приобретения
Цена: 38992.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: David Gries; Willem-Paul de Roever
Название:  Programming Concepts and Methods PROCOMET `98
ISBN: 9780412837609
Издательство: Springer
Классификация:
ISBN-10: 0412837609
Обложка/Формат: Hardcover
Страницы: 486
Вес: 0.87 кг.
Дата издания: 31.05.1998
Серия: IFIP Advances in Information and Communication Technology
Язык: English
Размер: 234 x 156 x 27
Основная тема: Computer Science
Подзаголовок: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Object-oriented Programming in SIMOTION Fundamentals, Program Examples and Software Concepts according to IEC 61131-3

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

Concepts, techniques, and models of computer programming

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

Programming language concepts

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

Programming Language Design Concepts

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

Computational Partial Differential Equations / Numerical Methods and Diffpack Programming

Автор: Langtangen Hans P.
Название: Computational Partial Differential Equations / Numerical Methods and Diffpack Programming
ISBN: 354043416X ISBN-13(EAN): 9783540434160
Издательство: Springer
Рейтинг:
Цена: 9362.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This graduate textbook - now in its second edition - teaches finite element methods and basic finite difference methods from a computational point of view. The emphasis is on developing flexible computer programs using the numerical library Diffpack. Diffpack is explained in detail for problems including model equations in applied mathematics, heat transfer, elasticity, and viscous fluid flow. All the program examples, as well as Diffpack for use with this book, are available on the Internet.

Programming Concepts and Methods PROCOMET `98

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

Formal Description of Programming Concepts

Автор: Erich J. Neuhold; K.R. Apt; E. Astesiano; Manfred
Название: Formal Description of Programming Concepts
ISBN: 3540539611 ISBN-13(EAN): 9783540539612
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs.

Combinatorial Programming: Methods and Applications

Автор: B. Roy
Название: Combinatorial Programming: Methods and Applications
ISBN: 9401175594 ISBN-13(EAN): 9789401175593
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute, Versailles, France, September 2-13, 1975

The Philosopher`s Toolkit: A Compendium of Philosophical Concepts and Methods

Автор: Baggini Julian, Fosl Peter S.
Название: The Philosopher`s Toolkit: A Compendium of Philosophical Concepts and Methods
ISBN: 1405190183 ISBN-13(EAN): 9781405190183
Издательство: Wiley
Рейтинг:
Цена: 2374.00 р.
Наличие на складе: Поставка под заказ.

Описание: A compendium that provides the intellectual equipment necessary to engage with and participate in effective philosophical argument, reading, and reflection. It features entries and a chapter drawn from methods in the history of philosophy. It is of interest to philosophy students at both beginning and advanced levels.

Introduction to Programming Concepts with Case Studies in Python

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

Formalization of Programming Concepts

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

Control Flow and Data Flow: Concepts of Distributed Programming

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


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия