Cover of Interactive Theorem Proving in Software Engineering by Kammüller, Florian, ISBN 9783836457699
Engineering (General)

Interactive Theorem Proving in Software Engineering

INTERACTIVE THEOREM PROVING IN

Contributor(s): Author Format: Paperback

Paperback · ISBN 9783836457699

₹5,115 2%
₹5,246

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783836457699
Subtitle INTERACTIVE THEOREM PROVING IN
Publisher VDM Verlag Dr. Mueller e.K.
Publication date July 2008
Language English
MRP £40.67 GBP
Page count 120
Item weight 38 g

Interactive Theorem Proving in Software Engineering published by VDM Verlag Dr. Mueller e.K..