Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274432
Price: 51.78 EUR
Availability: InStock
Author: Baudouin Lecharlier
ISBN: 9783540584858

First International Static Analysis Symposium, Namur, Belgium, September 28-30, 1994. Proceedings

Baudouin Lecharlier

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 05274432

Uitgeverij Springer, Berlin, november 1993

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),... Volledige beschrijving

Libristo-code: 05274432

125 b

51.78 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Soluk Fotograflar Siddika Kan Pehlivanoglu

Gebonden (paperback)

12.15 €

Transatlantic Landscapes

Gebonden (paperback)

17.52 €

40 kuriosesten Inseln Gabi Froböse

Gebonden (paperback)

12.66 €

Gnus - die großen Wanderer (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Kalender

59.28 €

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address staticanalysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Static Analysis

Auteur Baudouin Lecharlier

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1994

Aantal pagina's 471

EAN 9783540584858

ISBN 3540584854

Libristo-code 05274432

Uitgeverij Springer, Berlin

Gewicht 638

Afmetingen 155 x 233 x 24

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger