Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642396335
Price: 276.72 RON
Availability: InStock

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Autor: Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.72 lei

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th...

Informații despre carte

Autor

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

498

EAN

9783642396335

ISBN

364239633X

Enbook ID

01664057

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

777

Dimensiuni

155 x 235 x 29

Descriere completă

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, 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