Tests and Proofs
53.49 EUR 52.94 EUR
1% Off
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.