Hardware and Software: Verification and Testing

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
664,95 kr.

Bag om Hardware and Software: Verification and Testing

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

Vis mere

Sprog:
Engelsk

ISBN:
9783319030760

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
366

Udgivet:
18. oktober 2013

Udgave:
2013

Størrelse:
234x156x20 mm.

Vægt:
593 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 2. december 2024

Normalpris

BLACK NOVEMBER
664,95 kr. + Fragt
~~664,95 kr.~~

Medlemspris

614,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Hardware and Software: Verification and Testing

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

Brugerbedømmelser af Hardware and Software: Verification and Testing

Andre købte også..

Find lignende bøger

Bogen Hardware and Software: Verification and Testing findes i følgende kategorier:

Business og læring > Computer og IT

Hardware and Software: Verification and Testing - Bog

Beskrivelse af Hardware and Software: Verification and Testing

Brugerbedømmelser af Hardware and Software: Verification and Testing

Gør som tusindvis af andre bogelskere