Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 9783319221014
Price: 1147 CZK
Availability: InStock

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

Autor: Christian Urban, Xingyuan Zhang

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Christian Urban, Xingyuan Zhang

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2015

Stránek

469

EAN

9783319221014

ISBN

3319221019

Enbook ID

09378411

Vydavatel

Springer International Publishing AG

Hmotnost

7256

Rozměry

155 x 235 x 28

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Interactive Theorem Proving

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také