Recent Trends in Data Type Specification, Magne Haveraaen; Olaf Owe; Ole-Johan Dahl

Автор: Michel Bidoit; Christine Choppy
Название: Recent Trends in Data Type Specification
ISBN: 3540563792 ISBN-13(EAN): 9783540563792
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The main topics covered by the workshops upon which this text is based were specification languages and programme development, algebraic specification of concurrency, object-oriented specifications, order-sorted algebras, and abstract implementation and behavioural semantics.

Автор: Shusaku Iida; Jos? Meseguer; Kazuhiro Ogata
Название: Specification, Algebra, and Software
ISBN: 3642546234 ISBN-13(EAN): 9783642546235
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: Jens Palsberg
Название: Semantics and Algebraic Specification
ISBN: 3642041639 ISBN-13(EAN): 9783642041631
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic
Название: Logic and Algebra of Specification
ISBN: 3642634486 ISBN-13(EAN): 9783642634482
Издательство: Springer
Рейтинг:
Цена: 26552.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991