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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Codul Libristo: 09136925
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kein Makel um die Liberator Emmerich Nilson / Carte Carte broșată
common.buy 37.17 lei
Verteidigung als Angriff Michael Multhammer / Carte Copertă tare
common.buy 762.72 lei
Modernitat ALS Paradox Birgit Hoock / Carte Copertă tare
common.buy 656.46 lei
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Carte Carte broșată
common.buy 75.09 lei
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Carte Carte broșată
common.buy 319.29 lei
Je m'habille - a.telier, emanuela collini Xxxxxxx Carte Carte
common.buy 33.13 lei
Gruzínština konverzace collegium / Carte Carte broșată
common.buy 56.70 lei
Gastronomie českého středověku Monika Černá-Feyfrlíková / Carte Carte broșată
common.buy 79.35 lei
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Carte Copertă tare
common.buy 223.42 lei

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 468
EAN 9783662460801
ISBN 3662460807
Codul Libristo 09136925
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 7314
Dimensiuni 155 x 235 x 25

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
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

Migrant Passage Noelle Kateri Brigden / Carte Copertă tare
common.buy 901.18 lei
Alien Zone II Rick Kuhn / Carte Carte broșată
common.buy 161.09 lei
Prosecuting Maritime Piracy Michael P. Scharf / E-book Adobe ePub DRM
common.buy 307.35 lei
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Carte Copertă tare
common.buy 147.70 lei
Society, Institutions, and Individuals David G Embrick / Carte Carte broșată
common.buy 759.50 lei
What's What in America Eugene V. Brewster / Carte Carte broșată
common.buy 123.70 lei
Flight of the Valkyrie K S Daniels / Carte Carte broșată
common.buy 71.77 lei
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Carte Carte broșată
common.buy 53.38 lei
Annabelle's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 87.55 lei
New Wine T a Prickett / Carte Carte broșată
common.buy 73.11 lei
West Dorset Guide Book / Carte Carte broșată
common.buy 42.58 lei
Political History of Spanish José Del Valle / Carte Carte broșată
common.buy 306.72 lei
Modern Leadership Development and Excellence DR.S.K. BABOOA / Carte Carte broșată
common.buy 90.67 lei
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Carte Carte broșată
common.buy 77.89 lei
Just Solution Stephen Yearwood / Carte Carte broșată
common.buy 81.32 lei
Two Days of Doubt Cort / Carte Carte broșată
common.buy 75.51 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?