Formal Techniques for Distributed Objects, Components, and Systems More Books Like This
Trustworthy Global Computing
2014
Trustworthy Global Computing
2016
Formal Techniques for Distributed Objects, Components, and Systems
2019
Formal Methods and Software Engineering
2022
Integrated Formal Methods
2009
Programming Languages with Applications to Biology and Security
2015
Theory and Practice of Formal Methods
2016
Formal Techniques for Distributed Objects, Components, and Systems
2016
Integrated Formal Methods
2018
Formal Methods: Foundations and Applications
2017
Theoretical Aspects of Computing – ICTAC 2017
2017
Integrated Formal Methods
2007
Formal Methods
2018
Dependable Software Engineering. Theories, Tools, and Applications
2017
Formal Techniques for Distributed Systems
2010