Computer Science Logic, Jacques Duparc; Thomas A. Henzinger

Автор: O`Donnell
Название: Discrete Mathematics Using a Computer
ISBN: 1846282411 ISBN-13(EAN): 9781846282416
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a "hands-on" approach to teaching Discrete Mathematics. This second edition contains additional material on the applications of formal methods to practical programming problems. Designed for 1st and 2nd year undergraduates, it is also well suited for self-study.

Автор: Michael Kaminski; Simone Martini
Название: Computer Science Logic
ISBN: 3540875301 ISBN-13(EAN): 9783540875307
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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