Gratis verzending vanaf 59,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 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01563611
Price: 51.63 EUR
Availability: InStock
Author: Patrick Cousot
ISBN: 9783540423140

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Patrick Cousot

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01563611

Uitgeverij Springer, Berlin, november 2000

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Volledige beschrijving

Libristo-code: 01563611

125 b

51.63 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

El Born CC GARCIA ESPUCHE

Boek

16.46 €

Malá noční můra Ondřej Červinka

Gebonden (paperback)

1.10 €

Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom

Gebonden (paperback)

61.33 €

Золото в темной ночи (Потомки Первых #1) Лия Арден

Gebonden (harde band)

23.03 €

Louca - Tome 10 - L'histoire de Nathan Dequier Bruno

Gebonden (harde band)

17.78 €

Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl

Gebonden (paperback)

78.10 €

mezzi di trasporto. Baby Montessori Agnese Baruzzi

Leporello (harmonicaboek)

5.14 €

Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli

Gebonden (paperback)

100.13 €

Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada

Audio cd

18.68 €

Standortwettbewerb und Tourismus Harald Pechlaner

Gebonden (paperback)

37.18 €

Handbuch Der Architektur, 2 Band Anonymous

Gebonden (paperback)

22.02 €

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

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 Patrick Cousot

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2001

Aantal pagina's 439

EAN 9783540423140

ISBN 3540423141

Libristo-code 01563611

Uitgeverij Springer, Berlin

Gewicht 635

Afmetingen 155 x 235 x 23

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 > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

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