ISBN-13: 9783030774738 / Angielski / Miękka / 2021 / 205 str.
Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.
Czytaj nas na: