Structured Object-Oriented Formal Language and Method المزيد من كتب Shaoying Liu, Zhenhua Duan, Cong Tian & Fumiko Nagoya

Software Fault Prevention, Verification, and Validation

٢٠٢٥

Agile-SOFL

٢٠٢٤

Structured Object-Oriented Formal Language and Method

٢٠٢٣

Structured Object-Oriented Formal Language and Method

٢٠٢٠

Structured Object-Oriented Formal Language and Method

٢٠١٩

Structured Object-Oriented Formal Language and Method

٢٠١٨

Formal Methods and Software Engineering

٢٠١٦

Structured Object-Oriented Formal Language and Method

٢٠١٦

Structured Object-Oriented Formal Language and Method

٢٠١٥

Structured Object-Oriented Formal Language and Method

٢٠١٤

Formal Methods and Software Engineering

٢٠٠٨