Domains and Processes, Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixi

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521062926 ISBN-13(EAN): 9780521062923
Издательство: Cambridge Academ
Рейтинг:
Цена: 8870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Автор: Solow
Название: How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
ISBN: 1118164024 ISBN-13(EAN): 9781118164020
Издательство: Wiley
Рейтинг:
Цена: 12030.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs.

Автор: Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu; Yixi
Название: Domains and Processes
ISBN: 0792371437 ISBN-13(EAN): 9780792371434
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Domain theory is an interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. It is suitable for researchers and students interested in this area of theoretical computer science.

Автор: Fernando Ferreira; Benedikt L?we; Elvira Mayordomo
Название: Programs, Proofs, Processes
ISBN: 3642139612 ISBN-13(EAN): 9783642139611
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010.

Автор: J?rgen M?nch; Ye Yang; Wilhelm Sch?fer
Название: New Modeling Concepts for Today`s Software Processes
ISBN: 3642143466 ISBN-13(EAN): 9783642143465
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management.

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521622778 ISBN-13(EAN): 9780521622776
Издательство: Cambridge Academ
Рейтинг:
Цена: 21384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Автор: Coecke
Название: Picturing Quantum Processes
ISBN: 110710422X ISBN-13(EAN): 9781107104228
Издательство: Cambridge Academ
Рейтинг:
Цена: 13939.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Quantum phenomena are explained through the language of diagrams, setting out an innovative visual method of presenting complex scientific theories. Focusing on physical intuition over mathematical formalism, and packed with exercises, this unique book is accessible to students and researchers across scientific disciplines, from undergraduate to Ph.D. level.

Автор: G. Gierz
Название: Continuous Lattices and Domains
ISBN: 0521803381 ISBN-13(EAN): 9780521803380
Издательство: Cambridge Academ
Рейтинг:
Цена: 33739.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area.