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.

Computer Aided Verification

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Rupak Majumdar
Codul Libristo: 16495654
Editura Springer International Publishing AG, iulie 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Pilzen begegnen Hans Manhart / Carte Carte broșată
common.buy 122.73 lei
SILAS MARNER Eliot / Carte Carte broșată
common.buy 114.38 lei
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Carte Carte broșată
common.buy 218.03 lei
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Carte Carte broșată
common.buy 57.97 lei
Conexiones FERNANDEZ FRAGA / Carte Carte broșată
common.buy 140.24 lei
Uppgiften - erotiska noveller Cupido / Audiobook MP3
common.buy 16.67 lei
Top
Puzzle Hello Kitty 1000 dílků / Joc / Jucărie Puzzle
common.buy 38.68 lei
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Carte Carte broșată
common.buy 198.43 lei
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Carte Carte broșată
common.buy 86.44 lei
Praxisphasen in der Lehrerbildung Axel Knüppel / Carte Carte broșată
common.buy 165.69 lei
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 104.27 lei
Organisation von Systemen Bernhard Waszkewitz / Carte Carte broșată
common.buy 234.93 lei
Geschichte der Freundschaft Michael Roes / Carte Copertă tare
common.buy 124.39 lei
Amanda Und Eduard Sophie Mereau / Carte Carte broșată
common.buy 65.16 lei
Geschichte eines Vampirs Thomas Neumann / Carte Carte broșată
common.buy 50.36 lei
Soldaten Sönke Neitzel / Carte Carte broșată
common.buy 110.11 lei

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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 Computer Aided Verification
Autor Rupak Majumdar, Viktor Kuncak
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 623
EAN 9783319633893
ISBN 3319633899
Codul Libristo 16495654
Editura Springer International Publishing AG
Greutatea 9591
Dimensiuni 155 x 235 x 36

Categorii

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

Development As Freedom Amartya Kumar Sen / Carte Carte broșată
common.buy 88.10 lei
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Carte Carte broșată
common.buy 34.30 lei
How to Make Historic American Costumes Mary Evans / Carte Copertă tare
common.buy 221.06 lei
Top
Shikimori's Not Just a Cutie 12 V12 / Carte Carte broșată
common.buy 59.53 lei
Top
The Land of Stories Set Chris Colfer / Carte Carte broșată
common.buy 249.74 lei
Statistics without Tears Derek Rowntree / Carte Carte broșată
common.buy 66.41 lei
Great Whiskies DK / Carte Copertă tare
common.buy 89.88 lei
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Carte Carte broșată
common.buy 87.06 lei
Word Study in the Inclusive Secondary Classroom Melinda Leko / Carte Copertă tare
common.buy 424.71 lei
Price of Love Vicki Hopkins / Carte Carte broșată
common.buy 80.81 lei
Carbon Footprint Analysis Defne Apul / Carte Copertă tare
common.buy 947.88 lei
Nick's First Holiday Celebration Linda Sicks / Carte Copertă tare
common.buy 95.30 lei
RNA Biology - An Introduction Gunter Meister / Carte Carte broșată
common.buy 396.98 lei
Confirmation Wars Benjamin Wittes / Carte Carte broșată
common.buy 116.36 lei
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Carte Carte broșată
common.buy 286.02 lei
Holiday Heaven Cupido / Audiobook MP3
common.buy 20.84 lei
Microstructure Atlas of P22 Steel Rajat K. Roy / Carte Carte broșată
common.buy 798.03 lei
Dr. Cocktail Alex Ott / Carte Copertă tare
common.buy 77.05 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