Code: 01658528

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658528
Price: 55.93 EUR
Availability: InStock
Author: Marko Van Eekelen
ISBN: 9783642228629

by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

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

55.93 €

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

Kingdom, Vol. 2
11.85 € -25 %
Buy
Ayurveda, the Science of Self-healing: A Practical Guide
8.60 € -24 %
Buy
Paladin's Faith
10.43 € -30 %
Buy
Terror
10.94 € -10 %
Buy
Understanding the I Ching: Restoring a Brilliant, Ancient Culture
14.08 € -6 %
Buy
How Big Things Get Done
21.48 € -27 %
Buy
Anatomy Flashcards: 300 Flashcards with Anatomically Precise Drawings and Exhaustive Descriptions
29.89 € -30 %
Buy
Hypnosis
110.56 €
Buy
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate
4.55 € -33 %
Buy
Architecting High-Performance Embedded Systems
50.97 € -1 %
Buy
Chromatic herbarium
46.30 €
Buy
Hypnosis
10.83 € -18 %
Buy
Mastering Reinforcement Learning with Python
47.32 € -1 %
Buy
Mastering Kotlin for Android 14
39.21 € -1 %
Buy
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm
8.50 € -7 %
Buy
Inside Cyber: How Ai, 5g, and Quantum Computing Will Transform Privacy and Our Security
20.66 € -25 %
Buy
Interactive Theorem Proving and Program Development
134.37 €
Buy
Chicago Manual of Style by University
28.67 € -24 %
Buy
Homecoming
10.23 € -19 %
Buy
Effie
11.85 € -25 %
Buy
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento
50.97 € -3 %
Buy
X-men: We Are The X-men
23.81 € -9 %
Buy
Life in the Ring: Lessons & Inspiration from the Sport of Boxing
13.98 € -9 %
Buy
Albert Einstein
9.11 € -10 %
Buy
Designer's guide couleur n.3
25.12 €
Buy
Energise Your Enterprise
55.93 €
Buy
Interactive Technologies and Sociotechnical Systems
55.93 €
Buy
Sadi's Rosengarten (1841)
31 € -2 %
Buy
Deutschland, Europa und der Euro?
9.01 € -10 %
Buy
Mortimer: Rat Race to Space
10.43 € -10 %
Buy
Cartoons That Saved the World
8.71 € -25 %
Buy
The Duties of Parents
6.37 € -7 %
Buy
Spirou und Fantasio Gesamtausgabe Neuedition 1
32.83 € -10 %
Buy
Matemáticas transversales, 5 y 6 Educación Primaria
13.37 €
Buy
Interactive Video
109.54 €
Buy
after the beep
10.63 € -25 %
Buy
Sand Against the Wind
12.76 € -24 %
Buy
In the Lion's Shadow
16.10 € -24 %
Pre-order
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo
11.54 € -7 %
Buy
Pferdekrankheiten
17.93 € -11 %
Buy
Firefighters
9.11 €
Buy
Interactive Theorem Proving
110.76 €
Buy
The Riding School Connemara Pony - Dyslexia Friendly
19.35 € -2 %
Buy
Da soli per forza. Il ritiro sociale in adolescenza
15.90 €
Buy
Real-time PCR
105.80 €
Buy
Foundations of Paleoecology
176.43 €
Buy
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith
12.35 € -7 %
Buy
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and
43.16 € -7 %
Buy
The North American Review V56 (1843)
56.95 €
Buy
Black Hawk Down Tonanalyse - Utopie oder Realismus
16.21 € -10 %
Buy
Useful Birds and Their Protection.
28.37 € -1 %
Buy
Host Variabilities Influencing HIV/ART Outcomes
60.90 € -4 %
Buy
Race and Redemption
50.66 € -9 %
Buy
Finding Father
24.41 €
Buy
Hypnosis
16.61 €
Buy
Physics of Space Plasma Activity
111.37 €
Buy
Honey Bucket Charlie
45.49 €
Pre-order
Smeaton and the Lighthouses
25.12 € -7 %
Buy
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit
16.21 € -10 %
Buy
In the Arbor
5.87 € -25 %
Buy
Linguistics and Cross Linguistics issues in translating English Media
56.95 € -4 %
Buy
Walt Disney
20.36 € -24 %
Buy
Ridiculum Vitae
13.47 €
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 135 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, 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 Computing & information technology Computer programming / software development Programming & scripting languages: general

55.93 €

Full title: Interactive Theorem Proving
Subtitle: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Author: Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Language: English
Binding: Paperback
Number of pages: 383
EAN: 9783642228629
ISBN: 3642228623
ID: 01658528
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 605 g
Dimensions: 235 × 155 × 23 mm
Date of publishing: 02. August 2011