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

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Constantin Enea
Codul Libristo: 21040880
Editura Springer Nature Switzerland AG, ianuarie 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Videoclip Blu-ray
common.buy 81.48 lei
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Carte Carte broșată
common.buy 161.20 lei
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Carte Copertă tare
common.buy 129.35 lei
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Carte Carte broșată
common.buy 90.85 lei
Gefühle Wimmelbuch Alexandra Helm / Carte Cărți pliante
common.buy 65.45 lei
Football - The Ultimate Book Bernd Pohlenz / Carte Copertă tare
common.buy 286.09 lei
Dragon Ball Serie Roja nº 282 Akira Toriyama / Carte Carte broșată
common.buy 27.78 lei
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Carte Carte broșată
common.buy 79.92 lei
Kníhkupectvo nových začiatkov Jenny Colgan / Carte Copertă tare
common.buy 112.08 lei
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Carte Carte broșată
common.buy 122.28 lei
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Carte Carte broșată
common.buy 425.86 lei
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Carte Copertă tare
common.buy 497.15 lei
Zermatt / Carte Carte broșată
common.buy 102.71 lei
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital CD digital
common.buy 653.47 lei
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Carte Carte broșată
common.buy 178.37 lei
Correspondances D'Alger 1962 Didier Robert-Ales / Carte Carte broșată
common.buy 330.74 lei
Mandy Birgit Zaczek / Carte Carte broșată
common.buy 31.42 lei
Actividades de animación para la tercera edad Jacques Choque / Carte Carte broșată
common.buy 182.74 lei
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Carte Carte broșată
common.buy 146.73 lei
Contratiempos Kahane / Carte Carte broșată
common.buy 79.92 lei
Schule für kleine Trommel Felix Dierkes / Carte Carte broșată
common.buy 188.78 lei
Curând
FRE-SANS MASQUE Truda Rosenberg / Carte Carte broșată
common.buy 87.93 lei
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Joc / Jucărie Jucărie
common.buy 31.84 lei
Polednice Plešatá palice H:o)nza Vojtko / Carte Carte broșată
common.buy 57.44 lei

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Constantin Enea, Ruzica Piskac
Limba engleză
Legare Carte - Carte broșată
Data publicării 2019
Număr pagini 602
EAN 9783030112448
ISBN 3030112446
Codul Libristo 21040880
Editura Springer Nature Switzerland AG
Greutatea 937
Dimensiuni 155 x 235 x 235

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Carte Carte broșată
common.buy 338.13 lei
Advanced Python Programming DR. GABRIELE LANARO / Carte Carte broșată
common.buy 245.81 lei
Swallow (NHB Modern Plays) Stef Smith / E-book Adobe ePub DRM
common.buy 86.68 lei
Top
Istanbul Bettany Hughes / Carte Carte broșată
common.buy 89.49 lei
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Carte Carte broșată
common.buy 80.86 lei
Concrete Roses Le'Taxione / Carte Carte broșată
common.buy 81.48 lei
The Tragedy of Coriolanus: A Play William Shakespeare / Carte Carte broșată
common.buy 47.03 lei
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Carte Copertă tare
common.buy 184.41 lei
Top
Demon in the Wood Leigh Bardugo / Carte Copertă tare
common.buy 89.49 lei
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Carte Copertă tare
common.buy 168.80 lei
City of Dusk Tara Sim / Carte Copertă tare
common.buy 104.48 lei
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Carte Carte broșată
common.buy 71.91 lei
A Short History Of England (1917) G. K. Chesterton / Carte Carte broșată
common.buy 135.18 lei
The Negroni Matt Hranek / Carte Copertă tare
common.buy 87.93 lei
LEGO Arduino Cookbook Grady Koch / Carte Carte broșată
common.buy 231.24 lei
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Carte Carte broșată
common.buy 115.93 lei
Cannabinoid Cookbook Daniel Green / Carte Copertă tare
common.buy 149.75 lei
Top
Nomadland Jessica Bruder / Videoclip DVD
common.buy 49.43 lei
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Carte Carte broșată
common.buy 65.04 lei
What in the World? Look Again National Geographic Kids / Carte Copertă tare
common.buy 73.67 lei
Restless Souls Alisa Statman / Carte Carte broșată
common.buy 73.67 lei
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Carte Carte broșată
common.buy 394.43 lei
Nibbles: The Very Hungry Book Monster Emma Yarlett / Carte Carte broșată
common.buy 48.80 lei
The Complete APA 7th Edition Guide Gregory Dixon / Carte Carte broșată
common.buy 75.44 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?