Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Máté Kovács

Rasta: 1
Information Flow Security in Tree-Manipulating Processes: Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking
-15% su kodu: ENG15
83,06 
97,72 
Išsiųsime per 11-15 d. d.
Rasta: 1