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

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Static Analysis Antoine Mine
Codul Libristo: 01662058
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... 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

Diego Rivera TIBOL / Carte Copertă tare
common.buy 269.59 lei
Puzzle 20 maxi Trzy małe świnki C-02399 / Carte binding.
common.buy 46.90 lei
Mes livres mon carnet de lecture Marisol Liasu / Carte Carte broșată
common.buy 54.52 lei
Triada, Predestinación Laura Gallego / Carte Carte broșată
common.buy 82.66 lei
BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech Babadada Gmbh / Carte Carte broșată
common.buy 156.48 lei
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Carte Carte broșată
common.buy 164.30 lei
Nebe voní tebou Eva Hrašková / Carte Copertă tare
common.buy 56.18 lei
Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo Correa (Athlete Professionnel Et Entrain / Carte Carte broșată
common.buy 131.56 lei
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Carte Carte broșată
common.buy 89.65 lei
El libro de los besos y la niebla Xosé Carlos Caneiro / Carte Carte broșată
common.buy 104.66 lei
La conspiración contra la especie humana THOMAS LIGOTTI / Carte Carte broșată
common.buy 130.93 lei
Österreichisches Wohnrecht. Kommentar Till Hausmann / Carte Foaie
common.buy 1 042.54 lei
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin / Carte Carte broșată
common.buy 144.17 lei
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Carte Carte broșată
common.buy 171.49 lei
Optische Rhetorik Peter Mohr / Carte Carte broșată
common.buy 149.18 lei
Schattenvolk Viola Huber / Carte Carte broșată
common.buy 99.87 lei
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Carte Carte broșată
common.buy 139.38 lei

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

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 Antoine Mine, David Schmidt
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 457
EAN 9783642331244
ISBN 3642331246
Codul Libristo 01662058
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 718
Dimensiuni 155 x 235 x 26

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
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

How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Carte Carte broșată
common.buy 47.95 lei
Computer Aided Constellation Management and Communication Satellites Daljeet Singh / Carte Carte broșată
common.buy 1 593.95 lei
The Battle for the Mind Kenneth Wayne Gilmore / Carte Carte broșată
common.buy 59.94 lei
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Carte Carte broșată
common.buy 173.47 lei
Top
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Carte Carte broșată
common.buy 69.42 lei
Top
Coraline Graphic Novel Neil Gaiman / Carte Carte broșată
common.buy 44.51 lei
Introduction to Criminology Michael Rowe / Carte Copertă tare
common.buy 937.24 lei
Healing the Broken Brain Dr Mike Dow / Carte Carte broșată
common.buy 82.25 lei
A Challenge to Adventure Alice Turner Curtis / Carte Copertă tare
common.buy 189.94 lei
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Carte Carte broșată
common.buy 66.82 lei
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Carte Carte broșată
common.buy 143.76 lei
Antithesis Ricky Dee / Carte Carte broșată
common.buy 81.62 lei
Excel in CRE Livinus Wesonga / Carte Carte broșată
common.buy 82.04 lei
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Carte Carte broșată
common.buy 151.58 lei
Token for Mourners JOHN FLAVEL / Carte Copertă tare
common.buy 169.09 lei
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Carte Carte broșată
common.buy 156.48 lei
The Fowl Twins Eoin Colfer / Carte Copertă tare
common.buy 157.21 lei
PLAY BETTER TENNIS IN TWO HOURS Oscar Wegner / Carte Carte broșată
common.buy 126.35 lei
Top
Obey Shepard Fairey / Carte Copertă tare
common.buy 211.00 lei
Dialect Change Peter AuerFrans HinskensPaul Kerswill / Carte Carte broșată
common.buy 346.01 lei
Mapai in Israel: Political Organisation and Government in a New Society Peter Y. Medding / Carte Carte broșată
common.buy 264.38 lei
Chioggia and the Villages of the Venetian Lagoon Richard J. Goy / Carte Copertă tare
common.buy 520.64 lei
Darwinism and its Discontents Michael Ruse / Carte Carte broșată
common.buy 195.16 lei
Rita Moreno Rita Moreno / Carte Carte broșată
common.buy 126.35 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?