Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Language EnglishEnglish
Book Paperback
Book Interactive Theorem Proving Gerwin Klein
Libristo code: 02779852
Publishers Springer International Publishing AG, June 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Full description
? points 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Printed items Cards
common.buy 12.75 €
Harry Potter - Le Coffret du sorcier Natacha Rocca / Book Paperback
common.buy 24.90 €
Affordable
Mesnevija II Dželaluddin Rumi / Book Paperback
common.buy 10.62 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Book Paperback
common.buy 21.86 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Book Paperback
common.buy 29.46 €
Stadi. Architettura e mito Fabio Salomoni / Book Paperback
common.buy 48.70 €
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Book Paperback
common.buy 29.05 €
Empezar de cero Jimi Hendrix / Book Paperback
common.buy 24.70 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Book Paperback
common.buy 26.52 €
Coming soon
Franz Liszt und seine Zeit Wolfgang Dömling / Book Hardback
common.buy 35.43 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Book Paperback
common.buy 7.28 €
Kreativnye mysli Evgenij Shepel' / Book Paperback
common.buy 37.46 €
Na půl žerdi Heda Bartíková / Book Paperback
common.buy 3.53 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Book Paperback
common.buy 30.57 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Book Paperback
common.buy 15.48 €
Le Calvados et les peintres LECLERC / Book Paperback
common.buy 42.52 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Book Paperback
common.buy 31.18 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Book Paperback
common.buy 43.94 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Book Paperback
common.buy 32.09 €
citrouille roulante JUNIA WONDERS / Book Hardback
common.buy 23.18 €
Bir Tanem Felicien Marceau / Book Paperback
common.buy 12.14 €
Carnets de jeunesse Fallet / Book Paperback
common.buy 34.12 €
Livre cotes de France -le- tome 2 Jean Merrien / Book Paperback
common.buy 4.85 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Interactive Theorem Proving
Author Gerwin Klein, Ruben Gamboa
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 555
EAN 9783319089690
ISBN 3319089692
Libristo code 02779852
Publishers Springer International Publishing AG
Weight 8657
Dimensions 155 x 235 x 30

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer security
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Interactive Theorem Proving Sandrine Blazy / Book Paperback
common.buy 51.73 €
Interactive Theorem Proving and Program Development Yves Bertot / Book Paperback
common.buy 85.76 €
Magyar Nemzet Tortenete M R J Kai / Book Paperback
common.buy 31.48 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Book Hardback
common.buy 34.12 €
Scarlet Sage Gail Ylitalo / Book Paperback
common.buy 15.28 €
Sacred Geometry Anthony Muni Jr. / Book Paperback
common.buy 9.51 €
Big Book Of Low-Sodium Recipes Linda Larsen / Book Paperback
common.buy 19.03 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Book Paperback
common.buy 20.85 €
Mathematical Dynamic Programming Aditya Chatterjee / Book Paperback
common.buy 23.18 €
Practical Guide To Self-Deliverance, A Dennis Clark / Book Paperback
common.buy 15.79 €
Iconoclastic Fervor Hillary Sullivan / Book Paperback
common.buy 25.10 €
Branded as Trouble Delores Fossen / Audiobook MP3
common.buy 20.44 €
Environmental Management in Organizations John Brady / E-book Adobe ePub DRM
common.buy 74.01 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Book Hardback
common.buy 20.95 €
Losing Kali Kali Rae Wheeler / Book Hardback
common.buy 23.18 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Book Paperback
common.buy 19.33 €
Peeves Mike Van Waes / Book Paperback
common.buy 8.60 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Book Paperback
common.buy 10.62 €
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Book Paperback
common.buy 6.67 €
A Match for Emma Pepper Basham / Book Paperback
common.buy 13.05 €
Physical Review, Volume 12 Cornell University / Book Paperback
common.buy 27.84 €
Swedish Empire History Hourly History / Book Paperback
common.buy 10.32 €
Interactive Video-On-Demand Systems T.P. Jimmy To / Book Hardback
common.buy 175.78 €
Bhagavad Gita Gavin Flood / Book Paperback
common.buy 18.72 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?