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
Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €
phone Contact phoneHow to shop

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 275 b
112.39 € VAT included
Low in stock at our supplier Shipping in 9-13 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Haltestelle Brussel Hermann Bausinger / Book Paperback
common.buy 21.80 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Book Paperback
common.buy 43.90 €
Coming soon
EL CORAZON DEL GUERRERO DEL SOL TAN / Book Paperback
common.buy 18.69 €
Aufsuchende Soziale Arbeit Barbara Bräutigam / Book Paperback
common.buy 34.00 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Book Paperback
common.buy 11.19 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Book Book
common.buy 9.19 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Book Paperback
common.buy 29.79 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Book Paperback
common.buy 13.49 €
Sponte Sua або з доброї волі Mariia Kuzmenko / Book Paperback
common.buy 22.39 €
Die Edda - Götter- und Heldenlieder der Germanen Brynjólfur Sveinsson / Book Hardback
common.buy 9.99 €
Puzzle 104 elementów. MAXI Super kolor. Spidey And His Amazing Friends / Game/Toy Jigsaw puzzle
common.buy 11.59 €
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue / Book Paperback
common.buy 57.21 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Book Paperback
common.buy 17.95 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Book Paperback
common.buy 44.99 €
Obstbau E. Voges / Book Paperback
common.buy 19.90 €
Nach Spanien Und Portugal H. Obersteiner / Book Paperback
common.buy 29.90 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 21.99 €
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Book Paperback
common.buy 6.89 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Book Hardback
common.buy 19.29 €
OTRO CUENTO NAVIDEÑO MERINO VERDUGO / Book Paperback
common.buy 10.69 €
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Book Paperback
common.buy 9.89 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Book Paperback
common.buy 14.69 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Book Paperback
common.buy 68.09 €
Politische Gesprache der Toten Anonymus / Book Paperback
common.buy 39.90 €

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 119.49 €
Interactive Video Riad Hammoud / Book Paperback
common.buy 101.79 €
Experimental Robotics Oussama Khatib / Book Paperback
common.buy 203.39 €
Interactive Theorem Proving Marko Van Eekelen / Book Paperback
common.buy 56.89 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Book Paperback
common.buy 56.89 €
Coming soon
Europe in Autumn Dave Hutchinson / Book Paperback
common.buy 8.59 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Book Paperback
common.buy 12.49 €
Scientific Models for Religious Knowledge Andrew Ralls Woodward / Book Paperback
common.buy 30.69 €
Please Let Me Help Zack Sternwalker / Book Paperback
common.buy 9.59 €
You Bantering Me? Chris Hughes / Book Paperback
common.buy 14.29 €
Rite of Rejection Sarah Negovetich / Book Paperback
common.buy 11.69 €
Oblomov Ivan Aleksandrovich Goncharov / Book Paperback
common.buy 9.89 €
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.09 €
Long Life in Florida Hilton Hotema / Book Paperback
common.buy 30.59 €
Top
Everybody's Guide to Natural ESP Ingo Swann / Book Paperback
common.buy 15.89 €
Annihilation Jeff VanderMeer / Book Paperback
common.buy 13.09 €
Classification, Disease and Evidence Philippe Huneman / Book Paperback
common.buy 51.09 €
From The Sun To The Stars James B. Kaler / Book Paperback
common.buy 33.69 €
Kaylynn's Reading Log Martha Day Zschock / Book Paperback
common.buy 7.99 €
Village Heroes Meet the Dragon Patti Vincent / Book Paperback
common.buy 17.49 €
Sleeping on a Wire David Grossman / Book Paperback
common.buy 19.19 €
The Last Midwife Sandra Dallas / Book Paperback
common.buy 19.89 €
How Big Things Get Done Dan Gardner / Book Hardback
common.buy 21.49 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Book Hardback
common.buy 120.39 €

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?