Universal Algebra for Computer Scientists, Wolfgang Wechler
Автор: Bergman George M. Название: Invitation to general algebra and universal constructions ISBN: 3319114778 ISBN-13(EAN): 9783319114774 Издательство: Springer Рейтинг: Цена: 10061.00 р. 11179.00-10% Наличие на складе: Есть (1 шт.) Описание: An Invitation to General Algebra and Universal Constructions
Автор: B. Plotkin Название: Universal Algebra, Algebraic Logic, and Databases ISBN: 0792326652 ISBN-13(EAN): 9780792326656 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with the development of an algebraic model of databases. This book, in its first chapter, presents a general introduction. The following chapters deal with various aspects of universal algebra. It closes with a discussion and conclusions, and a bibliography. It is useful for mathematicians, computer scientists and database engineers.
Автор: Stephen D. Comer Название: Universal Algebra and Lattice Theory ISBN: 3540156917 ISBN-13(EAN): 9783540156918 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: R.S. Freese; O.C. Garcia Название: Universal Algebra and Lattice Theory ISBN: 3540123296 ISBN-13(EAN): 9783540123293 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jorge Almeida; Gabriela Bordalo; Philip Dwinger Название: Lattices, Semigroups, and Universal Algebra ISBN: 1489926100 ISBN-13(EAN): 9781489926104 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of an international conference held in Lisbon, Portugal, June 20-24, 1988
Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz Название: Algebraic Logic and Universal Algebra in Computer Science ISBN: 0387972889 ISBN-13(EAN): 9780387972886 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
