Towards Autonomous Robotic Systems المزيد من كتب Ana Cavalcanti, Simon Foster & Robert Richardson

Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
٢٠٢٤
The Practice of Formal Methods The Practice of Formal Methods
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
Critical Systems: Formal Methods and Automated Verification
٢٠١٧
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
٢٠١٠
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠