Снимки

Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring (2010)

 

Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring (2010)

Какво е Вашето мнение?

87,71 €

Какво е Вашето мнение?

Намалява ли цената? Сравнение

Купи от магазин

87,71 € Още

Браузърът който ползвате не поддържа функция за откриване на обекти. Моля, задайте началния адрес!

Функцията откриване на обекти от браузъра не проработи. Моля, задайте ръчно началния адрес!

Записаният от Вас адрес не беше намерен от браузъра. Моля, уточнете началния адрес.

От зададения начален адрес има прекалено много възможности. Моля, уточнете началния адрес.

Записаният от Вас адрес не беше намерен от браузъра. Моля, уточнете началния адрес.

Детектор на локация

Начален адрес

OK

Упътване до адрес:

A

Още маршрути към адреса

B

Планирай маршрут

Предложен маршрут:  

Още маршрути към адреса

Записаният от Вас адрес не беше намерен от браузъра. Моля, уточнете началния адрес.

Оферти за Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring (2010)

Офертите за продукта

 

 

(49 мнения)Чехия

Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

87,71 €

Доставка: до 2 седмици

към магазина »

Описание, детайли - Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring (2010)

Автор	C. Paulin-Mohring, G. Huet, Pierre Castéran, Yves Bertot
Брой страници	500
Тегло	738

A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Interactive Theorem Proving and Program Development | Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring (2010) пълно описание »

Описание

Автор	C. Paulin-Mohring, G. Huet, Pierre Castéran, Yves Bertot
Брой страници	500
Тегло	738

Виждате грешка в описанието или таблицата? Сигнализирайте ни!

A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Мнения

Задайте въпрос

Данните и цените за продуктите предлагани от нашите партньори служат за напътствие и обща информация. Моля, преди покупка проверете дали съответстват на публикуваните данни от сайта на магазина или производителя. За евентуалните неточности и грешки не носим отговорност.