ISBN-13: 9783030325046 / Angielski / Miękka / 2019 / 411 str.
Models and Transition Systems.- Real-Time and Temporal Logics.- Verification and Concurrency.- Privacy and Security.- Equations, Types, and Programming Languages.
Czytaj nas na: