Name: Value-Range Analysis of C Programs
Price: 1760.95 DKK
Availability: InStock
Author: Axel Simon
ISBN: 9781848000162

Value-Range Analysis of C Programs af Axel Simon

Du sparer 0% ift. normalprisen Spar 0%

Bag om Value-Range Analysis of C Programs

The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.

Vis mere

Sprog:
Engelsk

ISBN:
9781848000162

Forlag:
Springer London Ltd

Indbinding:
Hardback

Sideantal:
302

Udgivet:
26. juni 2008

Udgave:
2008

Størrelse:
155x235x19 mm.

Vægt:
1390 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 20. november 2024

På lager

Normalpris

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

Medlemspris

1.710,95 kr.

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

Bag om Axel Simon

Vis alle bøger af Axel Simon

Beskrivelse af Value-Range Analysis of C Programs

The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.

Brugerbedømmelser af Value-Range Analysis of C Programs

Andre købte også..

Find lignende bøger

Bogen Value-Range Analysis of C Programs findes i følgende kategorier:

Business og læring > Computer og IT

Value-Range Analysis of C Programs - Axel Simon - Bog

Bag om Axel Simon

Beskrivelse af Value-Range Analysis of C Programs

Brugerbedømmelser af Value-Range Analysis of C Programs

Gør som tusindvis af andre bogelskere