Code: 01656145

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 110.76 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

110.76 €

Low in stock at our supplier
Shipping in 9 - 15 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
14.79 € -25 %
Buy
Everybody's Guide to Natural ESP
15.80 € -1 %
Buy
Pucking Around
10.43 € -15 %
Buy
Extreme Metal Bass
14.79 € -25 %
Buy
Architecture of Trees
104.58 € -24 %
Buy
How Big Things Get Done
21.48 € -27 %
Buy
Sorry States
18.94 € -25 %
Buy
Puppetry in Education and Therapy
18.94 € -1 %
Buy
Hypnosis
110.56 €
Buy
Nitra
28.77 € -30 %
Buy
Hypnosis
10.83 € -18 %
Buy
Криптвоюматика 2.0. Стань сыном маминой подруги
18.33 € -12 %
Buy
J.W.Waterhouse
43.37 €
Buy
Annihilation
14.28 € -8 %
Buy
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze
6.58 € -16 %
Buy
Woman's Wisdom
15.80 € -10 %
Buy
Grunts in Trouble
8.71 € -25 %
Buy
Real World Java EE Patterns-Rethinking Best Practices
38.60 € -10 %
Buy
PRINCE WITHOUT SORROW
13.37 € -29 %
Buy
You Are Your Best Thing
14.08 € -25 %
Buy
The Invisible Man
9.31 € -19 %
Pre-order
Uprooting
11.85 € -25 %
Buy
Interactive Theorem Proving and Program Development
134.37 €
Buy
Homo Sapiens to Homo 'X'
34.14 €
Buy
The Last Midwife
19.65 € -25 %
Buy
Hidden in Blackness
134.27 € -5 %
Buy
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe
40.22 € -11 %
Buy
Rape in Art Cinema
55.73 €
Buy
How to get your shit together!
14.89 € -7 %
Buy
Interactive Technologies and Sociotechnical Systems
55.93 €
Buy
Oblomov
9.82 € -6 %
Buy
Dibujar : trucos, técnicas y recursos para la inspiración visual
14.89 € -10 %
Buy
Obstbau
22.59 € -7 %
Buy
Sleeping on a Wire
18.94 € -25 %
Buy
Bringing Ritual to Mind
38.40 €
Buy
Frames of Meaning
307.07 €
Buy
Interactive Video
109.54 €
Buy
Interactive Theorem Proving
55.93 €
Buy
nature sounds without nature sounds
7.69 € -7 %
Buy
Haltestelle Brussel
33.64 €
Buy
Kaylynn's Reading Log
7.89 € -24 %
Buy
Genetic Engineering
109.54 €
Buy
Evolving Human Nutrition
160.62 €
Buy
Solo-Klaviermusik Vol.6
16.51 € -25 %
Buy
Oversampling A/D Converters with Improved Signal Transfer Functions
109.54 €
Buy
Classification, Disease and Evidence
55.93 €
Buy
Test der verschiedenen Proteinanteile
44.99 € -3 %
Buy
Politische Gesprache der Toten
50.46 € -7 %
Buy
Scientific Models for Religious Knowledge
32.02 € -2 %
Buy
Astrophysical Plasmas and Fluids
98.30 €
Buy
From County Cavan to Canada: The Simons-Simonds-Symonds Family
18.43 € -1 %
Buy
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX
31.91 €
Buy
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006
16.21 € -10 %
Buy
You Bantering Me?
17.83 € -20 %
Buy
When God Feels Far Away
34.14 €
Buy
Self, War, & Society
66.98 €
Buy
Host Variabilities Influencing HIV/ART Outcomes
60.90 € -4 %
Buy
Uncertainty in Ai: A Journal Through Possible Worlds
118.67 €
Buy
Village Heroes Meet the Dragon
20.36 €
Buy
Camping
5.67 € -26 %
Buy
Une Page de l'Histoire de Napoleon 1er
14.79 € -2 %
Buy
Long Life in Florida
30.09 € -2 %
Buy
Contribution a la lutte contre la cybercriminalite des jeunes
71.24 €
Buy
After Many Years
37.18 €
Buy
DF 81 ALEJ MAGNO IV INDIA A BABILONIA
10.43 €
Buy
Mouthful of Tongues
28.37 € -1 %
Buy
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas'
12.15 € -1 %
Buy
History of Greece. by the Right Rev. Connop Thirwall Avol. 1
35.56 € -2 %
Buy
Resting Among Us: Authors' Gravesites in Upstate New York
45.90 € -24 %
Buy
Change Leader - Using A Gestalt Approach with Work Groups
46.41 € -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 Books in English Medicine Clinical & internal medicine Diseases & disorders

110.76 €

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