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