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.

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Codul Libristo: 01571263
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... 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

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Carte Carte broșată
common.buy 183.48 lei
Geheime Liebe auf Sylt Gabriele Diechler / Carte Carte broșată
common.buy 57.33 lei
Pověsti Čech, Moravy a Slezska August Sedláček / Carte Copertă tare
common.buy 47.74 lei
Tantrická masáž Kalashatra Govinda / Carte Copertă tare
common.buy 100.07 lei
Neumírej před smrtí Jevgenij Jevtušenko / Carte binding.
common.buy 47.11 lei
Death note. Short stories Tsugumi Ohba / Carte Carte broșată
common.buy 47.32 lei
Anekdòt -2 Bob Lapierre / Carte Carte broșată
common.buy 216.84 lei
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Carte Carte broșată
common.buy 166.07 lei
Quer durch Athen Petros Markaris / Carte Carte broșată
common.buy 60.77 lei
Potigny - au siècle des mineurs Benjamin / Carte Copertă tare
common.buy 163.04 lei
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Carte Carte broșată
common.buy 110.50 lei
Drácula superstar JULIO PEREZ MANZANARES / Audio Audio CD
common.buy 129.16 lei
La vuelta al mundo en 80 días GERONIMO STILTON / Carte Carte broșată
common.buy 77.45 lei
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Carte Carte broșată
common.buy 391.26 lei
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Carte Carte broșată
common.buy 223.20 lei
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Carte Carte broșată
common.buy 347.16 lei
Curând
Das Orakel vom Berge Philip K. Dick / Carte Carte broșată
common.buy 50.76 lei
Quantifizierung Operationeller Risiken Christian Bohlender / Carte Carte broșată
common.buy 262.51 lei
Die Wahrheit über mich - Das Fragespiel David Tripolina / Joc / Jucărie Joc
common.buy 42.94 lei
Processus d'Impression Textiles Zouhaier Romdhani / Carte Carte broșată
common.buy 228.00 lei

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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 Verification, Model Checking, and Abstract Interpretation
Autor Neil D. Jones, Markus Müller-Olm
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 381
EAN 9783540938996
ISBN 3540938990
Codul Libristo 01571263
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 605
Dimensiuni 155 x 235 x 23

Categorii

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 > 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

Diagram Geometry Buekenhout / Carte Carte broșată
common.buy 626.98 lei
Writing What People Buy Anne Hart / Carte Carte broșată
common.buy 108.52 lei
Level 5: On the Road Jack Kerouac / Carte Carte broșată
common.buy 71.40 lei
Frightened Kitten Holly Webb / Carte Carte broșată
common.buy 37.10 lei
Israel Jack Altman / Carte Carte broșată
common.buy 31.27 lei
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Carte Carte broșată
common.buy 47.11 lei
FEMALE ADOLESCENT FRIENDSHIP and THE CONSTRUCT OF IDENTITY Kristin Van Namen / Carte Carte broșată
common.buy 339.76 lei
Top
The Sopranos Family Cookbook Artie Bucco / Carte Copertă tare
common.buy 142.61 lei
Alfred Dudley: Or The Australian Settlers Sarah Porter / Carte Copertă tare
common.buy 216.01 lei
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / Carte Carte broșată
common.buy 148.66 lei
Hours Of Solitude A Collection Of Original Poems Volume 1 Charlotte Dacre / Carte Carte broșată
common.buy 111.75 lei
Chess Player's Bible James Eade & Al Lawrence / Carte Copertă tare
common.buy 95.70 lei
Romance without fiction Henry Bleby / Carte Carte broșată
common.buy 183.48 lei
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Carte Copertă tare
common.buy 278.56 lei
In a Perfect World Trish Doller / Carte Copertă tare
common.buy 95.28 lei
The Rising Kelley Armstrong / Carte Carte broșată
common.buy 55.35 lei
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Carte Carte broșată
common.buy 95.49 lei
Walking Words Eduardo Galeano / Carte Carte broșată
common.buy 117.69 lei
Leftin
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Carte Carte broșată
common.buy 33.66 lei
'Kubla Khan' and the Fall of Jerusalem E. S. Shaffer / Carte Carte broșată
common.buy 330.48 lei
Top
Fall I Want PARISH LYRA / Carte Carte broșată
common.buy 60.56 lei
Writing Around the World Matthew McCool / Carte Copertă tare
common.buy 1 110.31 lei
Dragon Rider Taran Matharu / Carte Copertă tare
common.buy 101.43 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?