zboží
(prázdné)
-
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Barthe, GillesNení skladem 1 230 KčDo košíku -
Trustworthy Global Computing
Barthe, GillesNení skladem 2 208 KčDo košíku -
Engineering Secure Software and Systems
Barthe, GillesNení skladem 522 KčDo košíku -
Formal Methods for Open Object-Based Distributed Systems
Barthe, GillesNení skladem 1 775 KčDo košíku -
Verification, Model Checking, and Abstract Interpretation
Barthe, GillesNení skladem 775 KčDo košíku -
Software Engineering and Formal Methods
Barthe, GillesNení skladem 723 KčDo košíku -
Formal Aspects of Security and Trust
Barthe, GillesNení skladem 430 KčDo košíku -
Programming Languages and Systems
Barthe, GillesNení skladem 775 KčDo košíku
