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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Interactive Theorem Proving Christian Urban
Libristo code: 09378411
Publishers Springer International Publishing AG, August 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Full description
? points 125 b
51.16 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Like It's 1999 Tom Waits Audio Audio vinyl
common.buy 21.22 €
Historien Tacitus / Book Hardback
common.buy 21.52 €
Karl der Grosse und die Mauren Robert Schneider / Book Paperback
common.buy 16.01 €
Le Manuscrit cathare M.J. Rose / Book Paperback
common.buy 19.22 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Book Hardback
common.buy 84.31 €
No God in Eden 02 Diana Hesse / Book Paperback
common.buy 7.20 €
Var tids vagpirater stal mobiltelefoner Diverse / E-book Adobe ePub DRM
common.buy 4.00 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Book Paperback
common.buy 7.20 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Book binding.
common.buy 26.13 €
Laubsäge-Vorlage Bea - das freche Schaf / Game/Toy Toy
common.buy 12.91 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Game/Toy Game
common.buy 33.74 €
La Leyenda de San Jorge Bel Olid / Book Paperback
common.buy 3.90 €
Fórmulas que preceden a los juegos infantiles en Extremadura Juan Rodríguez Pastor / Book Paperback
common.buy 21.92 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Book Paperback
common.buy 102.74 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Book Paperback
common.buy 23.82 €
Klementina von Porretta Christoph Martin Wieland / Book Paperback
common.buy 9.00 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Book Paperback
common.buy 32.64 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Book Paperback
common.buy 31.84 €
Strandgut Tanja Korf / Book Paperback
common.buy 9.00 €
Termo-Hidraulica Experimental de Reator Nuclear de Pesquisa TRIGA Mesquita Amir Zacarias / Book Paperback
common.buy 45.86 €
Live-Arrangement, m. DVD Jürgen Terhag / Book Paperback
common.buy 24.23 €

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 469
EAN 9783319221014
ISBN 3319221019
Libristo code 09378411
Publishers Springer International Publishing AG
Weight 7256
Dimensions 155 x 235 x 28

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
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
Computing & Information Technology > Computer security
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

Antiviral Agents Ernst Jucker / Book Paperback
common.buy 51.16 €
Whore Moans: (a hoetry book) Chris Sheerin / Book Paperback
common.buy 6.70 €
Botanical, 20 Umschläge Pepin van Roojen / Book Paperback
common.buy 14.81 €
Bedouins into Bourgeois Calvert W. Jones / Book Hardback
common.buy 132.08 €
Deus Comedieta Tade Bolade / Book Paperback
common.buy 12.21 €
The Smile of the Sphinx Marguerite Bouvet / Book Paperback
common.buy 27.04 €
Analysis of Chinese Characters George Durand 1869- Wilder / Book Hardback
common.buy 35.94 €
Biocalorimetry Margarida Bastos / Book Hardback
common.buy 289.70 €
Questions and Answers for Dental Nurses Carole Hollins / E-book Adobe ePub DRM
common.buy 30.73 €
Harmony in Chopin David Damschroder / Book Paperback
common.buy 47.66 €
Childbirth Trauma Stergios K Doumouchtsis / Book Hardback
common.buy 149.60 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Book Hardback
common.buy 91.22 €
God's Not Dead Adult Study Guide Rice Broocks / Book Paperback
common.buy 9.61 €
Brooklyn Heights Sublet Jonah Cohen / Book Paperback
common.buy 26.93 €
And All for What? D.W.J. Cuddeford / Book Hardback
common.buy 42.45 €
Machine James Smythe / Book Paperback
common.buy 13.81 €
Poetry of Being Vaidehi Raipat / Book Paperback
common.buy 6.40 €
Stagecoach of Mariah Sandra K Lee / Book Paperback
common.buy 23.32 €
It All Started with Gogol Thomas L Aman / Book Hardback
common.buy 25.63 €
Applications of Artificial Intelligence in Removal of Emerging Contaminants Mika Sillanpää / Book Paperback
common.buy 169.43 €
Jutland 1916 Charles London / Book Paperback
common.buy 20.12 €
Who is Jesus? Thomas P. Rausch / Book Paperback
common.buy 20.92 €
Encyclopedia of Mystics, Saints & Sages Judika Illes / Book Hardback
common.buy 26.13 €
Making Divorce Work Keith Barret / Book Paperback
common.buy 9.10 €

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?