Code: 01656145

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 109.63 EUR
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

by Matt Kaufmann, Lawrence C. Paulson

Language: English
Binding: Paperback
Number of pages: 495
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
More about this

109.63 €

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

The Design of Everyday Things
15.24 € -22 %
Buy
Pucking Around
10.32 €
Buy
Everybody's Guide to Natural ESP
15.64 € -1 %
Buy
Extreme Metal Bass
14.63 € -25 %
Buy
Profi-Nonogramm 3er-Band. Nr.16. Nr.16
8.92 € -10 %
Buy
How Big Things Get Done
21.56 € -24 %
Buy
Architecture of Trees
103.51 € -24 %
Buy
Sorry States
18.75 € -25 %
Buy
Hypnosis
116.35 €
Buy
Nitra
36.50 € -10 %
Buy
Puppetry in Education and Therapy
18.75 € -1 %
Buy
Hypnosis
10.72 € -18 %
Buy
Криптвоюматика 2.0. Стань сыном маминой подруги
18.15 € -12 %
Buy
J.W.Waterhouse
42.82 €
Buy
Die Edda - Götter- und Heldenlieder der Germanen
10.22 €
Buy
Annihilation
13.93 € -8 %
Buy
Real World Java EE Patterns-Rethinking Best Practices
38.21 € -10 %
Buy
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze
7.31 € -6 %
Buy
Grunts in Trouble
9.02 € -27 %
Buy
Woman's Wisdom
15.04 € -10 %
Buy
PRINCE WITHOUT SORROW
13.23 € -29 %
Buy
The Invisible Man
8.01 € -30 %
Buy
You Are Your Best Thing
13.93 € -25 %
Buy
Uprooting
10.32 € -30 %
Buy
The Last Midwife
19.45 € -25 %
Buy
Homo Sapiens to Homo 'X'
30.68 €
Buy
Rape in Art Cinema
52.05 €
Buy
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe
39.81 € -11 %
Buy
OTRO CUENTO NAVIDEÑO
11.73 €
Buy
Obstbau
17.74 € -11 %
Buy
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006
16.04 € -10 %
Buy
Bringing Ritual to Mind
38.01 €
Buy
Interactive Technologies and Sociotechnical Systems
55.56 €
Buy
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue
57.37 € -14 %
Buy
How to get your shit together!
8.22 € -14 %
Buy
Interactive Theorem Proving and Program Development
119.86 € -9 %
Buy
From County Cavan to Canada: The Simons-Simonds-Symonds Family
18.25 € -1 %
Buy
Test der verschiedenen Proteinanteile
38.91 € -11 %
Buy
Oblomov
9.72 € -6 %
Buy
Politische Gesprache der Toten
35.40 € -11 %
Buy
Dibujar : trucos, técnicas y recursos para la inspiración visual
18.65 €
Buy
Hidden in Blackness
132.09 € -5 %
Buy
Sleeping on a Wire
18.75 € -25 %
Buy
Village Heroes Meet the Dragon
17.04 €
Buy
nature sounds without nature sounds
7.61 € -7 %
Buy
When God Feels Far Away
33.79 €
Buy
Contribution a la lutte contre la cybercriminalite des jeunes
70.51 €
Buy
DF 81 ALEJ MAGNO IV INDIA A BABILONIA
10.22 €
Buy
Haltestelle Brussel
19.45 € -11 %
Buy
Winning
22.36 € -12 %
Buy
Evolving Human Nutrition
158.98 €
Buy
Classification, Disease and Evidence
51.15 € -7 %
Buy
Oversampling A/D Converters with Improved Signal Transfer Functions
102.10 € -7 %
Buy
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX
31.39 €
Buy
Nach Spanien Und Portugal
26.57 € -11 %
Buy
Europe in Autumn
8.62 € -24 %
Pre-order
Interactive Video
102.10 € -7 %
Buy
Interactive Theorem Proving
55.56 €
Buy
Long Life in Florida
29.78 € -2 %
Buy
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas'
11.22 € -9 %
Buy
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
11.83 € -7 %
Buy
Voyage of Discovery and Research in the Southern and Antarctic Regions, during the Years 1839-43
63.69 €
Buy
Aufsuchende Soziale Arbeit
30.18 € -11 %
Buy
Astrophysical Plasmas and Fluids
97.29 €
Buy
Scientific Models for Religious Knowledge
31.69 € -2 %
Buy
From The Sun To The Stars
32.89 €
Buy
Historical Collections of the State of New Jersey relating to its history and antiquities, with geographical descriptions of every township in the Sta
28.08 € -10 %
Buy
Frames of Meaning
276.84 €
Buy
Experimental Robotics
204.02 € -7 %
Buy
Host Variabilities Influencing HIV/ART Outcomes
211.04 € -14 %
Buy
Self, War, & Society
69.30 €
Buy
Kaylynn's Reading Log
7.81 € -24 %
Buy
EL CORAZON DEL GUERRERO DEL SOL
20.85 €
Pre-order
We Were Free-Range: An American Childhood 1950-1962
12.23 € -7 %
Buy
Uncertainty in Ai: A Journal Through Possible Worlds
117.45 €
Buy
Camping
6.31 € -16 %
Buy
Genetic Engineering
102.10 € -7 %
Buy
After Many Years
36.80 €
Buy
Mouthful of Tongues
28.08 € -1 %
Buy
Solo-Klaviermusik Vol.6
16.34 € -25 %
Buy
Resting Among Us: Authors' Gravesites in Upstate New York
45.43 € -24 %
Buy
You Bantering Me?
16.24 € -19 %
Buy
Une Page de l'Histoire de Napoleon 1er
13.43 € -10 %
Buy
History of Greece. by the Right Rev. Connop Thirwall Avol. 1
35.20 € -2 %
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 267 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Medicine Clinical & internal medicine Diseases & disorders

109.63 €

Full title: Interactive Theorem Proving
Subtitle: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Author: Matt Kaufmann, Lawrence C. Paulson
Language: English
Binding: Paperback
Number of pages: 495
EAN: 9783642140518
ISBN: 3642140513
ID: 01656145
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 759 g
Dimensions: 238 × 155 × 33 mm
Date of publishing: 30. June 2010