Automated Technology for Verification and Analysis

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
596,95 kr.

Bag om Automated Technology for Verification and Analysis

The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;

Vis mere

Sprog:
Engelsk

ISBN:
9783540755951

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
570

Udgivet:
9. oktober 2007

Udgave:
2007

Størrelse:
234x156x30 mm.

Vægt:
884 g.

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

På lager

Normalpris

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

Medlemspris

546,95 kr.

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

Beskrivelse af Automated Technology for Verification and Analysis

The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;

Brugerbedømmelser af Automated Technology for Verification and Analysis

Andre købte også..

Find lignende bøger

Bogen Automated Technology for Verification and Analysis findes i følgende kategorier:

Business og læring > Computer og IT

Automated Technology for Verification and Analysis - Bog

Beskrivelse af Automated Technology for Verification and Analysis

Brugerbedømmelser af Automated Technology for Verification and Analysis

Gør som tusindvis af andre bogelskere