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

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Static Analysis Radhia Cousot
Codul Libristo: 01656632
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Descrierea completă
? points 148 b
321.58 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Neuronale Netze Heinrich Braun / Carte Carte broșată
common.buy 287.90 lei
Entdecke das Mittelalter Albrecht Classen / Carte Copertă tare
common.buy 92.69 lei
Civilisation planétaire Daniel Robin / Carte Carte broșată
common.buy 101.66 lei
DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Carte Carte broșată
common.buy 114.38 lei
Prise de bec Janer / Carte Copertă tare
common.buy 90.08 lei
Subjektivierung 2.0 Tanja Carstensen / Carte Carte broșată
common.buy 240.77 lei
BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE / Carte Carte broșată
common.buy 136.59 lei
Curând
Mein Taschencoach Susanne Marx / Carte Carte broșată
common.buy 40.87 lei
Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert / Carte Carte broșată
common.buy 124.39 lei
Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum / Carte Foaie
common.buy 60.78 lei
Mobile Device Management Strategien Jan Hommes / Carte Carte broșată
common.buy 198.95 lei
AMERICA DAVID MCCULLOUGH / Carte Copertă tare
common.buy 113.34 lei
Top
Izraelská lobby a americká zahraniční politika John J. Mearsheimer / Carte Carte broșată
common.buy 56.20 lei
Terapia logopedyczna Edyta Joanna Lichota / Carte Carte broșată
common.buy 65.79 lei
Hizir Dokunsun Dualarina Mustafa Kaya / Carte Carte broșată
common.buy 72.98 lei
Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A / Carte Carte broșată
common.buy 75.38 lei

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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, Matthieu Martel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 473
EAN 9783642157684
ISBN 3642157688
Codul Libristo 01656632
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 727
Dimensiuni 157 x 235 x 28

Categorii

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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

Business Process Management Wil M.P. van der Aalst / Carte Carte broșată
common.buy 286.02 lei
COMMON SCHOOL ENGLISH: A GRADED SERIES O JAMES G. KENNEDY / Carte Copertă tare
common.buy 169.13 lei
Integral Approach to Development Economics OSHODI / Carte Carte broșată
common.buy 424.71 lei
Lorenzo Lotto: An Essay In Constructive Art Criticism Bernhard Berenson / Carte Carte broșată
common.buy 226.27 lei
The Poems of Jonathan Swift Voulme II Jonathan Swift / Carte Carte broșată
common.buy 126.17 lei
What's my name? ELAINA Tiina Walsh / Carte Carte broșată
common.buy 82.06 lei
Cryptids GUY BLYTHMAN / Carte Carte broșată
common.buy 101.66 lei
Hodge Podge Lodge Priscilla Lamont / Carte Carte broșată
common.buy 42.95 lei
Everybody Wants to Rune the World: A Happily Everlasting World Novel Mandy M. Roth / Carte Carte broșată
common.buy 92.90 lei
Wrong McElroy KL HUGHES / Carte Carte broșată
common.buy 90.50 lei
Humane and Sustainable Smart Cities Takao Takahashi / Carte Carte broșată
common.buy 643.18 lei
Ghost Stories of an Antiquary M. R. James / Carte Carte broșată
common.buy 37.11 lei
AFM-Based Observation and Robotic Nano-manipulation Lianqing Liu / Carte Carte broșată
common.buy 570.50 lei
All about EndNote 20 Bengt Edhlund / Carte Carte broșată
common.buy 242.33 lei
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models Amarjeet Prajapati / Carte Copertă tare
common.buy 2 042.79 lei
Minimum Wages, Pay Equity, and Comparative Industrial Relations Damian Grimshaw / Carte Copertă tare
common.buy 1 346.53 lei
Naukratis I and II, Hawara, Biahmu, and Arsinoe William Matthew Flinders PetrieErnest A. Gardner / Carte Carte broșată
common.buy 296.66 lei
Fishes, Fishers and Waves of Change in Nggela, Solomon Islands Reuben John Sulu / Carte Carte broșată
common.buy 419.71 lei
Kingdom of God as Liturgical Empire - A Theological Commentary on 1-2 Chronicles Scott W. Hahn / Carte Carte broșată
common.buy 166.31 lei
Report of the Comptroller, Volume 2 New York (N y. ). Comptroller's Office / Carte Copertă tare
common.buy 242.12 lei
Race Without A Finish Line: America's Quest fo For Total Qualtiy W.H. Schmidt / Carte Copertă tare
common.buy 242.33 lei
Woggle-Bug Book Lyman Fr. Baum / Carte Carte broșată
common.buy 45.35 lei
Katyn and the Soviet Massacre of 1940 George Sanford / Carte Copertă tare
common.buy 1 147.26 lei
Camileon Shykia Bell / Carte Copertă tare
common.buy 116.57 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