Mechanical Verification of Parameterized Real-Time Systems Autor Thomas Göthel 10 iul 2015 Paperback Preț: 491.40 lei 614.24 lei 43-57 zile -20%