EAN: 9783319948201

INTERACTIVE THEOREM PROVING KARTONIERT (TB)

This book constitutes the refereed proceedings of the 9th International Conference on
Interactive Theorem Proving  ITP 2018  held in Oxford  UK  in July 2018.The 32 full papers and
5 short papers presented were carefully reviewed and selected from 65 submissions. The papers
feature research in the area of logical frameworks and interactive proof assistants. The topics
include theoretical foundations and implementation aspects of the technology  as well as
applications to verifying hardware and software systems to ensure their safety and security 
and applications to the formal verication of mathematical results. Chapters 2  10  26  29  30
and 37 are available open access under a Creative Commons Attribution 4.0 International License
via link.springer.com.

Aktuelle Preise zur EAN 9783319948201

Produktinformationen zur 9783319948201