Software Engineering and Formal Methods المزيد من كتب Radu Calinescu & Corina S. Păsăreanu

Software Engineering for Resilient Systems

٢٠١٩

Software Engineering and Formal Methods

٢٠١٦

Software Engineering and Formal Methods

٢٠١٥

Foundations of Computer Software

٢٠١١