Software Engineering and Formal Methods 비슷한 책 더 보기

Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2018년
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2014년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2019년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2014년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2020년
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017년
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2018년
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011년
Runtime Verification Runtime Verification
Runtime Verification
2017년
Runtime Verification Runtime Verification
Runtime Verification
2018년
Tests and Proofs Tests and Proofs
Tests and Proofs
2018년