Author(s): JeanChristophe Filliatre; ‚ÄéChristine PaulinMohring; ‚ÄéBenjamin Werner
Publisher: Springer
ISBN: 9783540314288
Edition: 1st Edition
$39,99
Delivery: This can be downloaded Immediately after purchasing.
Version: Only PDF Version.
Compatible Devices: Can be read on any device (Kindle, NOOK, Android/IOS devices, Windows, MAC)
Quality: High Quality. No missing contents. Printable
Recommended Software: Check here
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
premiumjs@helps24hours.com
Rated 4.9
