phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Static Analysis

Limba englezăengleză
Carte Carte broșată
Carte Static Analysis Roberto Giacobazzi
Codul Libristo: 01559682
Editura Springer, Berlin, noiembrie 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... Descrierea completă
? points 161 b
321 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

curând
Das große Buch der Fahrzeugpflege Christian Petzoldt / Carte broșată
common.buy 70 lei
Bauplan-Kollektion für Einsteiger und Profis. Bd.1 / Carte broșată
common.buy 69 lei
Das Getreidesieb Vera Redwitz / Carte broșată
common.buy 50 lei
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Carte broșată
common.buy 105 lei
Disorders of the Platelets, An Issue of Hematology/Oncology Clinics of North America A Koneti Rao / Copertă tare
common.buy 422 lei
Genders, Races, and Religious Cultures in Modern American Poetry, 1908-1934 Rachel Blau DuPlessis / Carte broșată
common.buy 279 lei
Macromolecular Crystallography Protocols, Volume 2 Sylvie Doublie / Copertă tare
common.buy 634 lei
Kooperation Ungarns und Rumaniens mit dem Deutschen Reich 1933-1945 - Struktureller Zwang oder Bandwagoning for Profit? Toni Jost / Carte broșată
common.buy 206 lei
Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry Yoshitaka Okada / Copertă tare
common.buy 580 lei
Pineal Organ, Its Hormone Melatonin, and the Photoneuroendocrine System Werner Korf / Carte broșată
common.buy 634 lei
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Carte broșată
common.buy 324 lei
Jerusalem Selma Lagerlöf / Carte broșată
common.buy 144 lei
Der Urlaubshund Carina Babinsky / Carte broșată
common.buy 64 lei

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

Informații despre carte

Titlu complet Static Analysis
Autor Roberto Giacobazzi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 396
EAN 9783540227915
ISBN 3540227911
Codul Libristo 01559682
Editura Springer, Berlin
Greutatea 620
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

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