Austin Protocol Compiler
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
472.81
zł
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...