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

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

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

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

El Born CC GARCIA ESPUCHE / Carte Carte
common.buy 86.74 lei
Malá noční můra Ondřej Červinka / Carte Carte broșată
common.buy 5.63 lei
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Carte Carte broșată
common.buy 341.77 lei
Top
Золото в темной ночи (Потомки Первых #1) Лия Арден / Carte Copertă tare
common.buy 114.82 lei
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Carte Copertă tare
common.buy 93.42 lei
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Carte Carte broșată
common.buy 391.98 lei
Leftin
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Carte Cărți pliante
common.buy 26.92 lei
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Carte Carte broșată
common.buy 502.42 lei
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio Audio CD
common.buy 93.21 lei
Standortwettbewerb und Tourismus Harald Pechlaner / Carte Carte broșată
common.buy 186.33 lei
Handbuch Der Architektur, 2 Band Anonymous / Carte Carte broșată
common.buy 121.29 lei

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.

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 Patrick Cousot
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 439
EAN 9783540423140
ISBN 3540423141
Codul Libristo 01563611
Editura Springer, Berlin
Greutatea 635
Dimensiuni 155 x 235 x 23

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 > Computer science > Artificial intelligence
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

Reactive Application Development Duncan DeVore / Carte Carte broșată
common.buy 295.21 lei
Violet Squeakers The Mouse / Carte Carte broșată
common.buy 69.30 lei
The Book of Hallowe'en Ruth Edna Kelley / Carte Carte broșată
common.buy 55.42 lei
Credit Risk Management and Analysis Stuart Shelly / Carte Carte broșată
common.buy 922.18 lei
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Carte Copertă tare
common.buy 79.53 lei
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Carte Cărți pliante
common.buy 158.04 lei
Complete Guide to the Maltese Jordan Pogorzelski / Carte Copertă tare
common.buy 148.43 lei
Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Carte Carte broșată
common.buy 59.60 lei
Toledo State Hospital Brownlee / Carte Carte broșată
common.buy 109.81 lei
Shrine of the Irish Oak NATHANIEL HUNT / Carte Copertă tare
common.buy 138.93 lei
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Carte Carte broșată
common.buy 37.15 lei
Getting MEAN with Mongo Simon Holmes / Carte Carte broșată
common.buy 295.21 lei
Mary, Jimi & The Wormhole Mike Dunn / Carte Carte broșată
common.buy 127.35 lei
My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis / Carte Carte broșată
common.buy 120.25 lei
Perfect (Teacher) Coach Terri Broughton / Carte Copertă tare
common.buy 85.38 lei
Race and Social Analysis Caroline Knowles / Carte Copertă tare
common.buy 803.91 lei
Marvelous Land of Oz Frank L. Baum / Carte Carte broșată
common.buy 75.47 lei
Top
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Carte Copertă tare
common.buy 177.77 lei
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Carte Copertă tare
common.buy 1 720.67 lei
White Cliffs Bettine Manktelow / Carte Carte broșată
common.buy 87.78 lei
Advances in Gabor Analysis Hans G. Feichtinger / Carte Copertă tare
common.buy 571.12 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