Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering PDF book is popular Computers book written by Johann M. Schumann. The book was released by Springer Science & Business Media on 2013-06-29 with total hardcover pages 252. Fast download link is given in this page, you could read Automated Theorem Proving in Software Engineering by Johann M. Schumann in PDF, epub and kindle directly from your devices.
Automated Theorem Proving in Software Engineering
-
Automated Theorem Proving in Software Engineering Book Detail
- Author : Johann M. Schumann
- Release Date : 2013-06-29
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 252
- ISBN 13 : 3662226464
- File Size : 64,64 MB