Книга Interactive Theorem Proving and Program Development (Yves Bertot) - Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Автор: Yves Bertot

paperback
Категория: Математически основи
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наша цена на книгата: 87.22 EUR
(цената е обновена на 23.09.2024)

Безплатна доставка до България още

Коментари на читатели и ревюта на книги : Amazon

Алтернативни книжарници

Търсене на по-ниска цена...

Amazon.com: Проверете цената Проверете (доставка от САЩ за 7-28 дни)
Amazon.co.uk: Проверете цената Проверете (доставка от Великобритания за 5-18 дни)
Amazon.de: Проверете цената Проверете (доставка от ЕС за 4-12 дни)

Виж и поръчай