Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria, Bernhard Steffen 456,60 kr. Se produkt
Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria, Wang Yi 880,20 kr. Se produkt
