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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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
286.65 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

One Piece Color Walk - Tome 09 Eiichiro Oda / Carte Carte broșată
common.buy 159.99 lei
Top
Gefühle Wimmelbuch Alexandra Helm / Carte Cărți pliante
common.buy 65.51 lei
Kníhkupectvo nových začiatkov Jenny Colgan / Carte Copertă tare
common.buy 112.54 lei
Football - The Ultimate Book Bernd Pohlenz / Carte Copertă tare
common.buy 294.90 lei
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Carte Carte broșată
common.buy 80.25 lei
Dragon Ball Serie Roja nº 282 Akira Toriyama / Carte Carte broșată
common.buy 27.37 lei
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Carte Carte broșată
common.buy 91.22 lei
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Carte Copertă tare
common.buy 128.22 lei
Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Videoclip Blu-ray
common.buy 81.82 lei
Top
Respira James Nestor / Carte Carte broșată
common.buy 70.53 lei
Nobody’s girl. La mia storia di sopravvivenza in nome della giustizia. Il caso Epstein Virginia Roberts Giuffre / Carte Carte broșată
common.buy 129.26 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.26 lei
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Carte Carte broșată
common.buy 427.62 lei
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Carte Copertă tare
common.buy 499.21 lei
Zermatt / Carte Carte broșată
common.buy 71.99 lei
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital CD digital
common.buy 654.61 lei
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Carte Carte broșată
common.buy 179.11 lei
Školní sešit KRTEK 520 čistý, A5 / Calendar / Agendă Agendă
common.buy 3.44 lei
Correspondances D'Alger 1962 Didier Robert-Ales / Carte Carte broșată
common.buy 330.33 lei
Mandy Birgit Zaczek / Carte Carte broșată
common.buy 31.34 lei
Actividades de animación para la tercera edad Jacques Choque / Carte Carte broșată
common.buy 182.98 lei
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Carte Carte broșată
common.buy 146.92 lei
Contratiempos Kahane / Carte Carte broșată
common.buy 79.62 lei
Schule für kleine Trommel Felix Dierkes / Carte Carte broșată
common.buy 188.20 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 339.53 lei
Top
Demon in the Wood Leigh Bardugo / Carte Copertă tare
common.buy 101.36 lei
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Carte Copertă tare
common.buy 169.50 lei
Shootist: A Classic Western Glendan Swarthout / Audiobook MP3
common.buy 18.70 lei
Istanbul Bettany Hughes / Carte Carte broșată
common.buy 89.86 lei
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Carte Carte broșată
common.buy 81.19 lei
Earth's Scary Animals Lyn A. Sirota / Carte Carte broșată
common.buy 53.70 lei
Concrete Roses Le'Taxione / Carte Carte broșată
common.buy 81.82 lei
The Tragedy of Coriolanus: A Play William Shakespeare / Carte Carte broșată
common.buy 47.23 lei
Swallow (NHB Modern Plays) Stef Smith / E-book Adobe ePub DRM
common.buy 87.67 lei
Dingbats A6+ Wildlife Green Deer Reporter Notebook - Graphed / Carte Carte broșată
common.buy 87.67 lei
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Carte Copertă tare
common.buy 185.17 lei
Advanced Python Programming DR. GABRIELE LANARO / Carte Carte broșată
common.buy 246.83 lei
Introduction to Engineering Materials George Murray / Carte Carte broșată
common.buy 573.41 lei
A Short History Of England (1917) G. K. Chesterton / Carte Carte broșată
common.buy 159.05 lei
Curând
The Negroni Matt Hranek / Carte Copertă tare
common.buy 79.62 lei
City of Dusk Tara Sim / Carte Copertă tare
common.buy 101.36 lei
LEGO Arduino Cookbook Grady Koch / Carte Carte broșată
common.buy 232.20 lei
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Carte Carte broșată
common.buy 156.64 lei
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Carte Carte broșată
common.buy 72.20 lei
Cannabinoid Cookbook Daniel Green / Carte Copertă tare
common.buy 152.77 lei
My First 100 Weather Words Lindsay Dale-Scott / Carte Cărți pliante
common.buy 35.00 lei
Nomadland Jessica Bruder / Videoclip DVD
common.buy 53.70 lei
Top Curând
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Carte Carte broșată
common.buy 65.31 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?