Formal Techniques for Distributed Systems المزيد من الكتب المشابهة

Integrated Formal Methods Integrated Formal Methods
٢٠٠٧
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
٢٠٠٧
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
٢٠٠٧
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
٢٠١١
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠٠٨
Integrated Formal Methods Integrated Formal Methods
٢٠٠٩
Fundamentals of Software Engineering Fundamentals of Software Engineering
٢٠١٠
FM 2011: Formal Methods FM 2011: Formal Methods
٢٠١١
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
٢٠٠٩
Perspectives of Systems Informatics Perspectives of Systems Informatics
٢٠١٠
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
٢٠٠٨
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
٢٠١٠
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠١٥
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
٢٠١٨