Книги

 Избрано филтриране

Pierre Castéran  Изтрий филтрите

 Филтри

ok

Цена

- ok

Писатели

• • Pierre Castéran  
• • Колектив  
  • Lonely Planet  
  • Stephen King  
  • съставител  
  • Agatha Christie  
  • Charles River Editors  
  • William Shakespeare  
  • Haynes Publishing  

Ключови думи

• • Чуждоезична  
  • Фентъзи  
  • Литература  
  • Новела  
  • Роман  
  • Българска литература  
  • Младежка литература  
  • Психология  

1 продукта, 1. страница  1 Подредба

•  По подразбиране
•  Най-евтини
•  Най-скъпи
•  По оценка
•  Име (A-Z)

Подробно

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

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...

87,51 €

enbook.bg

Подробно

87,51 € към магазина » enbook.bg

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