Code: 02779852

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 02779852
Price: 58.56 EUR
Availability: InStock

by Gerwin Klein, Ruben Gamboa

Language: English
Binding: Paperback
Number of pages: 555
Publisher: Springer International Publishing AG, 2014
More about this

58.56 €

Low in stock at our supplier
Shipping in 10 - 14 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

Interactive Theorem Proving
58.56 €
Buy
Bhagavad Gita
18.81 € -17 %
Buy
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes
36.22 € -4 %
Buy
Eleventh International Seaweed Symposium
342.86 €
Buy
Like Cats and Dogs
55.64 €
Buy
Kant's Critical Philosophy
25.95 €
Buy
International Faust Studies
64.10 €
Buy
Iconoclastic Fervor
25.25 € -2 %
Buy
Held ohne Gewalt
24.65 € -5 %
Buy
Aktiv für gesunde Knochen, m. DVD
7.54 € -10 %
Buy
Kreativnye mysli
39.84 € -9 %
Buy
Na půl žerdi
3.71 € -5 %
Buy
Pontificato Di Leone XIII Rapporti Con l'Armenia
37.12 €
Buy
Familias de ayer familias de hoy : continuidades y cambios en Catalunya
26.36 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 147 loyalty points

Book synopsis

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Book details

Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures

58.56 €

Full title: Interactive Theorem Proving
Subtitle: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author: Gerwin Klein, Ruben Gamboa
Language: English
Binding: Paperback
Number of pages: 555
EAN: 9783319089690
ISBN: 3319089692
ID: 02779852
Publisher: Springer International Publishing AG
Weight: 8657 g
Dimensions: 235 × 155 × 30 mm
Date of publishing: 28. June 2014