Duration Calculus, Chaochen Zhou; Michael R. Hansen

Автор: Chris George; Zhiming Liu; Jim Woodcock
Название: Domain Modeling and the Duration Calculus
ISBN: 3540749632 ISBN-13(EAN): 9783540749639
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers software security, domain modeling of software engineering, and duration calculus for real time systems. This book addresses development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

Автор: Draheim, Dirk
Название: Semantics of the probabilistic typed lambda calculus
ISBN: 3642551971 ISBN-13(EAN): 9783642551970
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.

Автор: Michael Zaus
Название: Crisp and Soft Computing with Hypercubical Calculus
ISBN: 3662113805 ISBN-13(EAN): 9783662113806
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Aaron R. Bradley; Zohar Manna
Название: The Calculus of Computation
ISBN: 3642093477 ISBN-13(EAN): 9783642093470
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.

Автор: Michael Zaus
Название: Crisp and Soft Computing with Hypercubical Calculus
ISBN: 3790811726 ISBN-13(EAN): 9783790811728
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In Part I, the impact of an integro-differential operator on parity logic engines (PLEs) as a tool for scientific modeling from scratch is presented. Part II outlines the fuzzy structural modeling approach for building new linear and nonlinear dynamical causal forecasting systems in terms of fuzzy cognitive maps (FCMs).

Автор: Carroll Morgan; Trevor Vickers
Название: On the Refinement Calculus
ISBN: 3540199314 ISBN-13(EAN): 9783540199311
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra`s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Автор: Michel Schellekens
Название: A Modular Calculus for the Average Cost of Data Structuring
ISBN: 148999906X ISBN-13(EAN): 9781489999061
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult.

Автор: Barry Jay
Название: Pattern Calculus
ISBN: 3642426018 ISBN-13(EAN): 9783642426018
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Over time, basic research tends to lead to specialization - increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions.

Автор: Cesar Lopez
Название: MATLAB Differential and Integral Calculus
ISBN: 1484203054 ISBN-13(EAN): 9781484203057
Издательство: Springer
Рейтинг:
Цена: 5304.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In addition to giving a short introduction to the MATLAB environment and MATLAB programming, this book provides all the material needed to work with ease in differential and integral calculus in one and several variables.