The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Interactive Theorem Proving in Software Engineering

Interactive Theorem Proving in Software Engineering

by Florian Kammuller (Author)

$48.26

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 120
 Publisher: VDM Verlag Dr. Mueller e.K.
Published: 22 Jul 2008
ISBN 10: 3836457695
ISBN 13: 9783836457699