|
Showing 1 - 2 of
2 matches in All Departments
|
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
|
R1,625
Discovery Miles 16 250
|
Ships in 10 - 15 working days
|
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.
This book constitutes the refereed proceedings of the 27th
International Symposium on Static Analysis, SAS 2020, held in
Chicago, IL, USA, in November 2020.The 14 regular papers presented
in this book together with 2 invited talks and 1 extended abstract,
were carefully reviewed and selected from 34 submissions. The
papers cover topics such as abstract domains; abstract
interpretation; automated deduction; data flow analysis; debugging;
deductive methods; emerging applications; model-checking; program
transformations; predicate abstraction; security analysis; tool
environments and architectures; and type checking. Due to the
Corona pandemic this event was held virtually.
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
|