Formal Methods at the Crossroads. From Panacea to Foundational Support
Formal Methods at the Crossroads. From Panacea to Foundational Support PDF book is popular Computers book written by Bernhard K. Aichernig. The book was released by Springer on 2011-03-29 with total hardcover pages 468. Fast download link is given in this page, you could read Formal Methods at the Crossroads. From Panacea to Foundational Support by Bernhard K. Aichernig in PDF, epub and kindle directly from your devices.
Formal Methods at the Crossroads. From Panacea to Foundational Support
-
Formal Methods at the Crossroads. From Panacea to Foundational Support Book Detail
- Author : Bernhard K. Aichernig
- Release Date : 2011-03-29
- Publisher : Springer
- Genre : Computers
- Pages : 468
- ISBN 13 : 3540400079
- File Size : 20,20 MB