Formal Techniques for Distributed Systems Plus de livres similaires
Fundamentals of Software Engineering
2010
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems
2010
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Distributed Systems
2009
Integrated Formal Methods
2007
Integrated Formal Methods
2009
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Techniques for Distributed Objects, Components, and Systems
2022
Concurrency, Compositionality, and Correctness
2010
Perspectives of Systems Informatics
2010
Software Engineering and Formal Methods
2021
FM 2011: Formal Methods
2011
Trustworthy Global Computing
2009
Dependable Software Engineering. Theories, Tools, and Applications
2017