Trustworthy Global Computing More Books Like This

Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009
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
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2009
Concurrency, Graphs and Models Concurrency, Graphs and Models
Concurrency, Graphs and Models
2008
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
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2016
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2016
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009