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
Gesponsert
Galaxus.de
Hardware and Software: Verification and Testing, Fachbücher von Ofer Strichman, Rachel Tzoref-Brill
Galaxus.de
09-06-2026 20:52:01
