Formalization of Programming Concepts, J. Diaz; I. Ramos

Автор: Fararo Thomas J.
Название: The Meaning of General Theoretical Sociology: Tradition and Formalization
ISBN: 0521437954 ISBN-13(EAN): 9780521437950
Издательство: Cambridge Academ
Рейтинг:
Цена: 46470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book sets out a generative structuralist conception of general theoretical sociology; its philosophy, its problems, and its methods. The field is defined as a comprehensive research tradition with many intersecting subtraditions that share conceptual components.

Название: Proof, Logic and Formalization
ISBN: 1138009075 ISBN-13(EAN): 9781138009073
Издательство: Taylor&Francis
Рейтинг:
Цена: 58170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.

Автор: P. K?mmel
Название: Formalization of Natural Languages
ISBN: 3642666671 ISBN-13(EAN): 9783642666674
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The attempt to simulate dialogues in Natural Language by a machine requires extensive analyses of Natural Language`s expression and content phenomena. Sometimes fully self-explanatory or content-related expression units within carrier systems of isolated morphologies guarantee significant insights into phenomena of Natural Language`s content.

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

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

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

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

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

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