Tests and Proofs
Der Band der dritten internationalen Konferenz „Tests and Proofs“ aus Zürich 2009 präsentiert innovative Ansätze zur formalen Verifikation und Softwaretests, verbindet theoretische Modelle mit praxisnahen Fallstudien in kompakter Form.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
Galaxus.de 
SpringerLink DE 
