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
Free delivery for purchases over 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Interactive Theorem Proving Matt Kaufmann
Libristo code: 01656145
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Full description
? points 280 b
115.05 €
Low in stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Book Paperback
common.buy 11.35 €
Die Edda - Götter- und Heldenlieder der Germanen Brynjólfur Sveinsson / Book Hardback
common.buy 8.54 €
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue / Book Paperback
common.buy 57.54 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Book Paperback
common.buy 13.77 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Book Paperback
common.buy 29.96 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Book Book
common.buy 9.65 €
Aufsuchende Soziale Arbeit Barbara Bräutigam / Book Paperback
common.buy 30.26 €
Coming soon
EL CORAZON DEL GUERRERO DEL SOL TAN / Book Paperback
common.buy 19.80 €
Haltestelle Brussel Hermann Bausinger / Book Paperback
common.buy 19.50 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Book Paperback
common.buy 39.01 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Book Paperback
common.buy 16.08 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Book Paperback
common.buy 39.93 €
Obstbau E. Voges / Book Paperback
common.buy 17.79 €
Nach Spanien Und Portugal H. Obersteiner / Book Paperback
common.buy 26.64 €
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Book Paperback
common.buy 6.63 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Book Hardback
common.buy 17.19 €
OTRO CUENTO NAVIDEÑO MERINO VERDUGO / Book Paperback
common.buy 11.25 €
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Book Paperback
common.buy 9.04 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 16.38 €
Nitra Vladimír Barta / Book Hardback
common.buy 31.77 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Book Paperback
common.buy 68.58 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Book Paperback
common.buy 17.79 €
Politische Gesprache der Toten Anonymus / Book Paperback
common.buy 35.39 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 495
EAN 9783642140518
ISBN 3642140513
Libristo code 01656145
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 759
Dimensions 155 x 238 x 33

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Medicine & Nursing > Clinical & internal medicine > Diseases & disorders > Immunology
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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
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 and Program Development Yves Bertot / Book Hardback
common.buy 120.18 €
Interactive Video Riad Hammoud / Book Paperback
common.buy 102.38 €
Experimental Robotics Oussama Khatib / Book Paperback
common.buy 204.56 €
Interactive Theorem Proving Marko Van Eekelen / Book Paperback
common.buy 58.32 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Book Paperback
common.buy 58.32 €
Coming soon
Europe in Autumn Dave Hutchinson / Book Paperback
common.buy 8.64 €
You Bantering Me? Chris Hughes / Book Paperback
common.buy 16.48 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Book Hardback
common.buy 31.17 €
Rite of Rejection Sarah Negovetich / Book Paperback
common.buy 12.06 €
Oblomov Ivan Aleksandrovich Goncharov / Book Paperback
common.buy 10.25 €
Science vs. Bible vs. Quran (3) the Moon: The Quran preceded the modern sciences while the editors of the Bible contradict the sciences and corrupt th Dr Ibrahim Khalil Aly / Book Paperback
common.buy 12.57 €
Long Life in Florida Hilton Hotema / Book Paperback
common.buy 31.48 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Book Paperback
common.buy 12.97 €
Annihilation Jeff VanderMeer / Book Paperback
common.buy 13.17 €
Classification, Disease and Evidence Philippe Huneman / Book Paperback
common.buy 51.30 €
From The Sun To The Stars James B. Kaler / Book Paperback
common.buy 35.49 €
Kaylynn's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.34 €
Village Heroes Meet the Dragon Patti Vincent / Book Paperback
common.buy 17.79 €
Camping Keith Baker / Book Paperback
common.buy 6.33 €
Sleeping on a Wire David Grossman / Book Paperback
common.buy 20.11 €
The Last Midwife Sandra Dallas / Book Paperback
common.buy 21.41 €
Chakradance Natalie Southgate / E-book Adobe ePub DRM
common.buy 15.69 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Book Hardback
common.buy 123.30 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Book Hardback
common.buy 127.52 €

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?