Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01562711
Price: 51.69 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783540403258

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Radhia Cousot

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01562711

Nakladateľstvo Springer, Berlin, november 2002

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysi... Celý popis

Libristo kód: 01562711

125 b

51.69 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Jadrné memento Bernard Pitrun

Brožovaná

12.13 €

Bohové lžou Kaori Ozaki

Brožovaná

7.58 €

Wissenstransfer Andrea Becher

Pevná

49.57 €

MUNDOLOGIA JUAN MANUEL HEREDIA

Kniha

21.84 €

We Never Learn 6 TAISHI TSUTSUI

Audio CD

15.17 €

Storia Della Repubblica Di Venezia Dal Suo Principio Sino Al Suo Fine: Opera Originale Volume 11 Giuseppe Cappelletti

Brožovaná

25.59 €

de l'Hydro-Rhinite Ulceree Ou Traite Raisonne de la Morve Et Du Farcin Chez Le Cheval Mariot-Didieux-S

Brožovaná

17.49 €

Zu Christian Stark

Brožovaná

16.18 €

ABC der Tiere / ABC der Tiere 2 - Arbeitsheft Sprachbuch Klaus Kuhn

List

12.74 €

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.§The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.