Recent Trends in Algebraic Development Techniques, James

Автор: Watrous, John (university Of Waterloo, Ontario)
Название: The theory of quantum information
ISBN: 1107180562 ISBN-13(EAN): 9781107180567
Издательство: Cambridge Academ
Рейтинг:
Цена: 77090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.

Автор: Andrea Corradini; Ugo Montanari
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3642034284 ISBN-13(EAN): 9783642034282
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Автор: Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3319281135 ISBN-13(EAN): 9783319281131
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

On Logic Embeddings and Gцdel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.

Автор: Francesco Parisi-Presicce
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3540642994 ISBN-13(EAN): 9783540642992
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT `98, held in Italy, in June 1997. This book presents the state-of-the-art in the area of algebraic software development.

Автор: Jose L. Fiadeiro
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3540662464 ISBN-13(EAN): 9783540662464
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the 13th International Workshop on Algebraic Development Techniques held in April 1998. The papers address such issues as algebraic specification techniques, algebraic combination of logics, and algebraic structures and logics for concurrency.

Автор: Didier Bert; Christine Choppy; Peter Mosses
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3540678980 ISBN-13(EAN): 9783540678984
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other topics.

Автор: Narciso Mart?-Oliet; Miguel Palomino
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3642376347 ISBN-13(EAN): 9783642376344
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;

Автор: Roggenbach Markus
Название: Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers
ISBN: 3030737845 ISBN-13(EAN): 9783030737849
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.

Автор: Alica Kelemenova; Jozef Kelemen
Название: Trends, Techniques, and Problems in Theoretical Computer Science
ISBN: 3540185356 ISBN-13(EAN): 9783540185352
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Blum, Jeremy,
Название: Exploring Arduino: Tools and Techniques for Engineering Wizardry
ISBN: 1119405378 ISBN-13(EAN): 9781119405375
Издательство: Wiley
Рейтинг:
Цена: 32730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The bestselling beginner Arduino guide, updated with new projects! Exploring Arduino makes electrical engineering and embedded software accessible. Learn step by step everything you need to know about electrical engineering, programming, and human-computer interaction through a series of increasingly complex projects.

Автор: Gregory Arone; John Hubbuck; Ran Levi; Michael Wei
Название: Categorical Decomposition Techniques in Algebraic Topology
ISBN: 3034896018 ISBN-13(EAN): 9783034896016
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book consists of articles at the frontier of current research in Algebraic Topology.