Hardware and Software: Verification and Testing
Der Band dokumentiert die Erkenntnisse der 13. International Haifa Verification Conference, präsentiert aktuelle Forschung zu Verifikationsalgorithmen, Teststrategien und Tool‑Entwicklungen für Hardware und Software in kompakter, praxisorientierter Form.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
