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.

Teilen: