ISBN-13: 9783030302801 / Angielski / Miękka / 2019 / 361 str.
Probabilistic Verification.- Learning and Verification.- Hybrid Systems.- Security.- Probabilistic Modelling and Abstraction.- Applications and Tools.
Czytaj nas na: