Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 9783319221014
Price: 276.36 RON
Availability: InStock

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

Autor: Christian Urban, Xingyuan Zhang

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

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

Informații despre carte

Autor

Christian Urban, Xingyuan Zhang

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

469

EAN

9783319221014

ISBN

3319221019

Enbook ID

09378411

Editura

Springer International Publishing AG

Greutate

7256

Dimensiuni

155 x 235 x 28

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Interactive Theorem Proving

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și