Concrete Semantics, Tobias Nipkow; Gerwin Klein

Автор: Eric Pacuit
Название: Neighborhood Semantics for Modal Logic
ISBN: 3319671480 ISBN-13(EAN): 9783319671482
Издательство: Springer
Рейтинг:
Цена: 30740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level);

Автор: Ernest G. Manes; Michael A. Arbib
Название: Algebraic Approaches to Program Semantics
ISBN: 1461293774 ISBN-13(EAN): 9781461293774
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

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

Автор: Pitts
Название: Semantics and Logics of Computation
ISBN: 0521580579 ISBN-13(EAN): 9780521580571
Издательство: Cambridge Academ
Рейтинг:
Цена: 132000.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.

Автор: Gordon
Название: Higher Order Operational Techniques in Semantics
ISBN: 0521631688 ISBN-13(EAN): 9780521631686
Издательство: Cambridge Academ
Рейтинг:
Цена: 95030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped.

Автор: Klaus-Dieter Schewe; Bernhard Thalheim
Название: Semantics in Data and Knowledge Bases
ISBN: 3540885935 ISBN-13(EAN): 9783540885931
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. This title includes 6 revised full papers that were reviewed and selected.

Автор: Lano
Название: UML 2 Semantics and Applications
ISBN: 0470409088 ISBN-13(EAN): 9780470409084
Издательство: Wiley
Рейтинг:
Цена: 128780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications.

Автор: Allison
Название: A Practical Introduction to Denotational Semantics
ISBN: 0521314232 ISBN-13(EAN): 9780521314237
Издательство: Cambridge Academ
Рейтинг:
Цена: 30610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions.

Автор: Jens Palsberg
Название: Semantics and Algebraic Specification
ISBN: 3642041639 ISBN-13(EAN): 9783642041631
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

Автор: Tobias Nipkow; Gerwin Klein
Название: Concrete Semantics
ISBN: 3319105418 ISBN-13(EAN): 9783319105413
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part II can be read even without familiarity with Isabelle`s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

Автор: Yuxin Deng
Название: Semantics of Probabilistic Processes
ISBN: 3662451972 ISBN-13(EAN): 9783662451977
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics.