Logic and Algebra of Specification, Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic

Автор: Mendelson, Elliot,
Название: Schaum`s outline of Boolean algebra and switching circuits
ISBN: 0070414602 ISBN-13(EAN): 9780070414600
Издательство: McGraw-Hill
Рейтинг:
Цена: 986.00 р.
Наличие на складе: Есть (2 шт.)
Описание: Schaum`s Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.

Автор: 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

Автор: Michel Bidoit; Hans-J?rg Kreowski; Pierre Lescanne
Название: Algebraic System Specification and Development
ISBN: 3540540601 ISBN-13(EAN): 9783540540601
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.