Specification of Software Systems المزيد من الكتب المشابهة

Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
٢٠٠٦
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
٢٠١٨
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠١١
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٠٧
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
٢٠٠٩
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٩
Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
٢٠٠٧
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
٢٠٠٧
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠١٦
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠٠٩
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٠٨
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٠٩
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
٢٠٠٨