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

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:
9781849967020

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
302

Udgivet:
15. maj 2011

Udgave:
12008

Størrelse:
155x235x17 mm.

Vægt:
498 g.

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

På lager

Normalpris

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

Medlemspris

1.688,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