Code: 09378411

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 09378411
Price: 62.39 EUR
Availability: InStock

by Christian Urban, Xingyuan Zhang

Language: English
Binding: Paperback
Number of pages: 469
Publisher: Springer International Publishing AG, 2015
More about this

62.39 €

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

Shi'i Cosmopolitanisms in Africa
99.49 €
Buy
Deus Comedieta
15.16 €
Buy
Khaqani, Poet-Philosopher of Medieval Persia
111.48 €
Pre-order
Harmony in Chopin
46.51 €
Buy
Poetry of Being
7.88 €
Buy
God's Not Dead Adult Study Guide
12.39 €
Buy
Brooklyn Heights Sublet
31.04 €
Buy
And All for What?
57.99 €
Buy
Crime and Punishment in Twentieth Century Ireland
36.16 €
Buy
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen
23.97 € -8 %
Buy
Noras zweites Gesicht
10.24 € -4 %
Buy
Strandgut
25.20 € -2 %
Buy
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique
47.43 €
Buy
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki
35.75 € -9 %
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 154 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

62.39 €

Full title: Interactive Theorem Proving
Subtitle: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author: Christian Urban, Xingyuan Zhang
Language: English
Binding: Paperback
Number of pages: 469
EAN: 9783319221014
ISBN: 3319221019
ID: 09378411
Publisher: Springer International Publishing AG
Weight: 7256 g
Dimensions: 235 × 155 × 28 mm
Date of publishing: 20. August 2015