Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

Berndt Max - Points insensibles au flux - Analyses pour Frama-C - Neuf Pap - J555z

État :

Neuf

Quantité :

5 disponibles

Prix :

41,26 GBP

Environ48,88 EUR

Cet objet sera envoyé via le Service de livraison internationale d'eBay.

Inclut un suivi international, un dédouanement simplifié et aucuns frais supplémentaires à la livraison. En savoir plus

Livraison :

22,46 GBP (environ 26,61 EUR) Livraison prioritaire vers : États-Unis via Service de livraison internationale d'eBay. Afficher les détailspour la livraison

Lieu où se trouve l'objet : GB, Royaume-Uni

Frais d'importation :

Gratuit, montant confirmé lors de la finalisation de l'achat

Délai de livraison :

Estimé entre le jeu. 27 juin et le lun. 8 juil. à 43230

Inclut le suivi international

Retours :

Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Frais de livraison internationale et d'importation payés à Pitney Bowes Inc. En savoir plusEn savoir plus sur le Service de livraison internationale

Achetez en toute confiance

Vendeur Top Fiabilité

Vendeur de confiance, livraison rapide et retours facilités.

En savoir plus- Top Fiabilité Plus - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

ihaveit_music (68876)
98,8% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :386980765962

Dernière mise à jour le 05 juin 2024 00:03:58 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

Fiction/Non-Fiction: Non-Fiction

Genre/Subject: COMPUTERS / Information Technology

Brand: NA

Weight: 0.09

Style: NA

Title: Flow-Insensitive Points-To Analyses for Frama-C

Release Title: Flow-Insensitive Points-To Analyses for Frama-C

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Flow-Insensitive Points-To Analyses for Frama-C

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Item Length: 228.6

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

ISBN: 9783639807554

Publication Year: 2015

Type: Textbook

Format: Paperback

Language: English

Publication Name: Flow-Insensitive Points-To Analyses for Frama-C

Item Height: 229mm

Author: Berndt Max

Publisher: AV Akademikerverlag

Item Width: 152mm

Subject: Engineering & Technology

Item Weight: 91g

Number of Pages: 52 Pages

À propos de ce produit

Product Information

In this book, we compare two known algorithms for flow-insensitive points-to analyses. We show that they differ in precision and complexity. Andersen's algorithm offers a flow-insensitive analysis with a high precision. Steensgaard's algorithm provides a high performance points-to analysis. The time complexity in the number of program state- ments becomes almost linear if one uses Tarjan's disjoint sets as a data structure for Steensgaard's algorithm. We implemented the disjoint sets with a single array. The usage of arrays with quick reading access, has the advantage of providing a high-performance data structure for the analyzes. The performance has been tested in Section 5.2. We showed that a functional programming language like OCaml is well suited for an implementation of Steensgaard's algorithm. Since our program is written in OCaml, it could be used as a prototype for a Frama-C plugin. During development we encountered a problem that emerges from uninitialized pointers. Their referenced locations have to be unifiable regardless of whether these locations are empty or not. To overcome this problem, we introduced distinct empty sets that can be merged.

Product Identifiers

Publisher

AV Akademikerverlag

ISBN-13

9783639807554

eBay Product ID (ePID)

213373941

Product Key Features

Author

Berndt Max

Publication Name

Flow-Insensitive Points-To Analyses for Frama-C

Format

Paperback

Language

English

Subject

Engineering & Technology

Publication Year

2015

Type

Textbook

Number of Pages

52 Pages

Dimensions

Item Height

229mm

Item Width

152mm

Item Weight

91g

Additional Product Features

Title_Author

Berndt Max

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

iHaveit UK Ltd

Michael V

20 Pontings Close

Blunsdon

Swindon

Wiltshire

SN26 7AH

United Kingdom

Afficher les coordonnées

: liam-e esserdAoi.tievahi@nic_haon

noah_cin@ihaveit.io

Numéro de TVA :

GB 343612519

Numéro d'immatriculation de la société :

11290771

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Numéro CRN :

11290771

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :386980765962

Dernière mise à jour le 05 juin 2024 00:03:58 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Livraison et expédition

Lieu où se trouve l'objet :

GB, Royaume-Uni

Destination :

Afrique du Sud, Allemagne, Antigua-et-Barbuda, Arabie saoudite, Aruba, Australie, Autriche, Bahamas, Bahreïn, Bangladesh, Barbade, Belgique, Belize, Bermudes, Bolivie, Brunei Darussalam, Brésil, Bulgarie, Cambodge, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Croatie, Danemark, Dominique, Espagne, Estonie, Finlande, France, Gibraltar, Grenade, Grèce, Guadeloupe, Guatemala, Guernesey, Guyane, Honduras, Hong Kong, Hongrie, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Koweït, Lettonie, Liechtenstein, Lituanie, Luxembourg, Macao, Malaisie, Maldives, Malte, Martinique, Mexique, Monaco, Montserrat, Nicaragua, Norvège, Nouvelle-Zélande, Oman, Pakistan, Panama, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, République dominicaine, République tchèque, Réunion, Saint-Christophe-et-Niévès, Sainte-Lucie, Salvador, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suède, Taïwan, Thaïlande, Trinité-et-Tobago, Ukraine, Uruguay, Viêt Nam, Égypte, Émirats arabes unis, Équateur, États-Unis, Îles Caïmans, Îles Turques-et-Caïques

Exclus :

Boîte postale, Afghanistan, Albanie, Algérie, Andorre, Angola, Anguilla, Antilles néerlandaises, Argentine, Arménie, Azerbaïdjan, Bhoutan, Biélorussie, Bosnie-Herzégovine, Botswana, Burkina Faso, Burundi, Bénin, Cameroun, Cap-Vert, Comores, Côte d'Ivoire, Djibouti, Fidji, Gabon, Gambie, Ghana, Groenland, Guam, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Inde, Irak, Kazakhstan, Kenya, Kirghizistan, Kiribati, Laos, Lesotho, Liban, Liberia, Libye, Macédoine, Madagascar, Malawi, Mali, Maroc, Maurice, Mauritanie, Mayotte, Micronésie, Moldavie, Mongolie, Monténégro, Mozambique, Namibie, Nauru, Niger, Nigeria, Niue, Nouvelle-Calédonie, Népal, Ouganda, Ouzbékistan, Palaos, Papouasie-Nouvelle-Guinée, Polynésie française, Porto Rico, Russie, Rwanda, République centrafricaine, République du Congo, République démocratique du Congo, Sahara occidental, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les-Grenadines, Sainte-Hélène, Samoa américaines, Samoa occidentales, Serbie, Seychelles, Sierra Leone, Somalie, Suriname, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Tchad, Togo, Tonga, Tunisie, Turkménistan, Turquie, Tuvalu, Vanuatu, Vatican, Venezuela, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Érythrée, Éthiopie, Îles Cook, Îles Malouines, Îles Marshall, Îles Salomon, Îles Vierges britanniques, Îles Vierges des États-Unis

Cet objet sera envoyé via le Service de livraison internationale d'eBay.

Inclut un suivi international, un dédouanement simplifié et aucuns frais supplémentaires à la livraison. En savoir plus

Quantité :

Changer de pays :

Livraison et expédition	Frais d'importation	à	Service	Livraison*Afficher les instructions de livraison
22,46 GBP (environ 26,61 EUR)	Afficher les frais d'importation lors de la finalisation de l'achat	États-Unis	Livraison prioritaire (International Priority Shipping)	Estimé entre le jeu. 27 juin et le lun. 8 juil. à 43230

*Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.Instructions de livraison *Les dates de livraison estimées prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.

Délai d'expédition

Envoi sous 5 jours ouvrés après réception du paiement.

Taxes

Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay