Interactive Theorem Proving

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

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Autor: Lennart Beringer, Amy Felty

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

297.10 lei

This book constitutes the thoroughly refereed proceedings of the Third International Conference on I...

Informații despre carte

Autor

Lennart Beringer, Amy Felty

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

419

EAN

9783642323461

ISBN

3642323464

Enbook ID

01661818

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

650

Dimensiuni

155 x 235 x 25

Descriere completă

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. 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