Interactive Theorem Proving / Najlacnejšie knihy
Interactive Theorem Proving

Code: 13496516

Interactive Theorem Proving

by Jasmin Christian Blanchette, Stephan Merz

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. § The 27 full papers and 5 short papers presented were carefully r ... more

71.25 €


Low in stock at our supplier
Shipping in 10 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Interactive Theorem Proving

You get 175 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. § The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Book details

Book category Books in English Computing & information technology Graphical & digital media applications 3D graphics & modelling

71.25 €

All about us



Shopping guide
Digest
Books by language
Payment
Delivery 2.99 €

Collection points Bratislava a 2642 dalších

Slovensko
България Hrvatska România Magyarország Polska Česko

Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies

Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: