Theoretical Aspects of Computing – ICTAC 2010 المزيد من كتب Ana Cavalcanti, David Deharbe & Marie-Claude Gaudel

Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
٢٠٢٤
Towards Autonomous Robotic Systems Towards Autonomous Robotic Systems
٢٠٢٥
The Practice of Formal Methods The Practice of Formal Methods
٢٠٢٤
The Practice of Formal Methods The Practice of Formal Methods
٢٠٢٤
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
٢٠١٧
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
٢٠١٠