Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 9783319221014
Price: 19223 HUF
Availability: InStock

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

Szerző: Christian Urban, Xingyuan Zhang

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 223 Ft

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro...

Információk a könyvről

Szerző

Christian Urban, Xingyuan Zhang

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

469

EAN

9783319221014

ISBN

3319221019

Enbook ID

09378411

Kiadó

Springer International Publishing AG

Súly

7256

Méretek

155 x 235 x 28

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Interactive Theorem Proving

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták