Interactive Theorem Proving in Software Engineering Autor Florian Kammüller 7 noi 2013 Paperback Preț: 312.68 lei 43-57 zile