Structured Object-Oriented Formal Language and Method 비슷한 책 더 보기

Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Structured Object-Oriented Formal Language and Method Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
2020년
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017년
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년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2020년
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015년
Advances in Model and Data Engineering in the Digitalization Era Advances in Model and Data Engineering in the Digitalization Era
Advances in Model and Data Engineering in the Digitalization Era
2021년
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2019년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2018년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2016년