Recent Trends in Algebraic Development Techniques, Narciso Mart?-Oliet; Miguel Palomino

Автор: Andrea Corradini; Ugo Montanari
Название: Recent Trends in Algebraic Development Techniques
ISBN: 3642034284 ISBN-13(EAN): 9783642034282
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Miriam Mehl; Manfred Bischoff; Michael Sch?fer
Название: Recent Trends in Computational Engineering - CE2014
ISBN: 3319229966 ISBN-13(EAN): 9783319229966
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others.

Автор: Josep Diaz; Fernando Orejas
Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
ISBN: 3540509399 ISBN-13(EAN): 9783540509394
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.

Автор: Josep Diaz; Fernando Orejas
Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
ISBN: 3540509402 ISBN-13(EAN): 9783540509400
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.

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

Описание:

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.

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

Автор: Roberto Ciuni; Heinrich Wansing; Caroline Willkomm
Название: Recent Trends in Philosophical Logic
ISBN: 331935812X ISBN-13(EAN): 9783319358123
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

Автор: Didier Bert; Jonathan P. Bowen; Martin C. Henson;
Название: ZB 2002: Formal Specification and Development in Z and B
ISBN: 3540431667 ISBN-13(EAN): 9783540431664
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.

Автор: Leila Alem; Weidong Huang
Название: Recent Trends of Mobile Collaborative Augmented Reality Systems
ISBN: 1489999868 ISBN-13(EAN): 9781489999863
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recent Trends of Mobile Collaborative Augmented Reality Systems provides a historical overview of previous mobile collaborative AR systems, presents case studies of latest developments in current mobile collaborative AR systems, and latest technologies and system architectures used in this field.

Автор: Florian Daniel; Cesare Pautasso
Название: Rapid Mashup Development Tools
ISBN: 3319287265 ISBN-13(EAN): 9783319287263
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.