Mechanical Verification of Parameterized Real-Time Systems Autor Thomas Göthel 9 iul 2015 Paperback Preț: 488.91 lei 611.14 lei 6-8 săpt. -20%