Interactive Theorem Proving in Software Engineering

By Florian Kammuller and Florian Kammüller

Interactive theorem proving is the modern way of formalizing mathematics using a computer as a proof assistant, helping solve simple tasks and keeping an order on the proofs. Still, it is a tedious... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3836457695
• ISBN13: 9783836457699
• Release Date: July 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 120 Pages
• Weight: 0.38 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"