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

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Formal Techniques for Networked and Distributed Systems - FORTE 2007

٢٠٠٧

Formal Techniques for Distributed Systems

٢٠٠٩

Programming Languages and Systems

٢٠١٠

Perspectives of Systems Informatics

٢٠١٠

Formal Methods: Foundations and Applications

٢٠١١

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Programming Languages and Systems

٢٠٠٩

Integrated Formal Methods

٢٠٠٧

Fundamentals of Software Engineering

٢٠١٠

Programming Languages and Systems

٢٠١١

Programming Languages and Systems

٢٠٠٨

International Symposium on Fundamentals of Software Engineering

٢٠٠٧

Specification of Software Systems

٢٠١١

Integrated Formal Methods

٢٠٠٩