ISBN-13: 9783030634056 / Angielski / Miękka / 2020 / 335 str.
Safety and Security.- Program Verification.- Formal Methods and Machine Learning.- Formal Languages.- Other Applications of Formal Methods.
Czytaj nas na: