Towards Autonomous Robotic Systems Mais livros de Ana Cavalcanti, Simon Foster & Robert Richardson

Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2024
The Practice of Formal Methods The Practice of Formal Methods
The Practice of Formal Methods
2024
The Practice of Formal Methods The Practice of Formal Methods
The Practice of Formal Methods
2024
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2017
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
2010
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010