Concurrency, Security, and Puzzles More Books Like This

Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2019
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
2015
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2017
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2015
Formal Methods Formal Methods
Formal Methods
2018
Programming Languages with Applications to Biology and Security Programming Languages with Applications to Biology and Security
Programming Languages with Applications to Biology and Security
2015
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
2017
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2022
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017
Reachability Problems Reachability Problems
Reachability Problems
2016
FM 2016: Formal Methods FM 2016: Formal Methods
FM 2016: Formal Methods
2016
Model Checking Software Model Checking Software
Model Checking Software
2016