Formal Techniques for Distributed Objects, Components, and Systems More Books Like This

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2010
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2010
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2010
Applications and Theory of Petri Nets Applications and Theory of Petri Nets
Applications and Theory of Petri Nets
2010
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
2010
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006
Automatic Program Development Automatic Program Development
Automatic Program Development
2008