Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles Tiziana Margaria, Bernhard Steffen 737,43 kr. Se produkt
Grundlagen der höheren Informatik Bernhard Steffen, Oliver Rüthing, Malte Isberner 256,69 kr. Se produkt
