Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Static Analysis Radhia Cousot
Codul Libristo: 05274620
Editura Springer, Berlin, noiembrie 1995
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Une politique europeenne Etienne Grosclaude / Carte Copertă tare
common.buy 89.86 lei
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899 Sans Auteur / Carte Carte broșată
common.buy 70.15 lei
Dragon Ball Z. Saiyanos 03 Daruma Serveis Lingüístics / Carte Carte broșată
common.buy 78.60 lei
Keine Angst vor Bakterien! Max O. Bruker / Carte Carte broșată
common.buy 79.85 lei

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Static Analysis
Autor Radhia Cousot, David A. Schmidt
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 398
EAN 9783540617396
ISBN 3540617396
Codul Libristo 05274620
Editura Springer, Berlin
Greutatea 524
Dimensiuni 156 x 234 x 21

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

TAX HAVENS Kacou Antoine N'zi / Carte Carte broșată
common.buy 341.32 lei
Multicultural Behavior and Global Business Environments Kamal Dean Parhizgar / Carte Copertă tare
common.buy 378.65 lei
What's the Weather? Shelley Rotner / Carte Copertă tare
common.buy 81.41 lei
Butchered Dreams Hadena James / Carte Carte broșată
common.buy 81.83 lei
Fields of Praise Marilyn Nelson / Carte Carte broșată
common.buy 179.31 lei
Observations on the Disturbances in the Madras Army in 1809 Malcolm / Carte Copertă tare
common.buy 184.73 lei
Thoughts and Commentary Dale L Netherton / Carte Copertă tare
common.buy 179.31 lei
Great Sea David Abulafia / Carte Carte broșată
common.buy 104.24 lei
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system Manish Kumar Singh / Carte Carte broșată
common.buy 237.90 lei
Language, Print and Electoral Politics, 1790-1832 Hannah Barker / Carte Copertă tare
common.buy 417.22 lei
Children's Literature Review Tom Burns / Carte Copertă tare
common.buy 3 204.69 lei
Remaking governance Janet Newman / Carte Carte broșată
common.buy 238.63 lei
Time-Dependent Fracture A.S. Krausz / Carte Carte broșată
common.buy 285.96 lei
Generalist Practice with Organizations and Communities, International Edition Grafton H Hull / Carte Carte broșată
common.buy 622.19 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo