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

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Sharon Shoham
Codul Libristo: 39439333
Editura Springer International Publishing AG, august 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Descrierea completă
? points 105 b
228.49 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Paul, Lisa & Co. Monika Bovermann / Carte Carte broșată
common.buy 53.66 lei
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Carte Carte broșată
common.buy 25.16 lei
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Carte Carte broșată
common.buy 78.20 lei
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Carte Carte broșată
common.buy 77.99 lei
Psychische Gewalt in der Erziehung / Carte Carte broșată
common.buy 79.87 lei
LEGO Ninjago (CD 46) / Audio Audio CD
common.buy 38.16 lei
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Carte Carte broșată
common.buy 363.39 lei
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Carte Carte broșată
common.buy 198.43 lei
Wenn dies die Zeit ist Vladimir Zarev / Carte Copertă tare
common.buy 95.05 lei
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Carte Carte broșată
common.buy 168.90 lei
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Carte Carte broșată
common.buy 188.45 lei
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Carte Carte broșată
common.buy 143.83 lei
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Carte Carte broșată
common.buy 339.16 lei
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Carte Carte broșată
common.buy 186.06 lei
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Carte Carte broșată
common.buy 89.64 lei
Personenschutz - kompakt und effektiv Steve Tompson / Carte Copertă tare
common.buy 444.00 lei
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Carte Carte broșată
common.buy 75.19 lei
Mujeres del Nuevo Testamento Pia Septien / Carte Carte broșată
common.buy 50.85 lei
La vuelta al mundo en 80 días Jules Verne / Carte Carte broșată
common.buy 66.24 lei

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

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 Sharon Shoham, Yakir Vizel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2022
Număr pagini 549
EAN 9783031131875
Codul Libristo 39439333
Editura Springer International Publishing AG
Greutatea 866
Dimensiuni 155 x 235 x 31

Categorii

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

Women in Sports Amelia S Halloway / Carte Copertă tare
common.buy 999.60 lei
Blood Surfer Debra Jess / Carte Carte broșată
common.buy 86.84 lei
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Carte Carte broșată
common.buy 148.10 lei
Black Box Captain Terrance W MacDonald / Carte Carte broșată
common.buy 116.69 lei
Transgenic Crop Plants Albert G. Abbott / Carte Carte broșată
common.buy 1 136.27 lei
Top
One Piece, Vol. 76 Eiichiro Oda / Carte Carte broșată
common.buy 49.19 lei
Aquaculture John S. Lucas / Carte Copertă tare
common.buy 648.68 lei
History of Europe During the French Revolution Archibald Alison / Carte Copertă tare
common.buy 251.69 lei
Harry Potter Colouring Book neuvedený autor / Carte Carte broșată
common.buy 66.24 lei
Islands of the Damned R. V. Burgin / Carte Carte broșată
common.buy 87.88 lei
Top
The Hating Game Sally Thorne / Carte Carte broșată
common.buy 56.57 lei
Top
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Carte Carte broșată
common.buy 40.76 lei
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Carte Copertă tare
common.buy 215.49 lei
I, Siglavy LISBETH ASAY / Carte Carte broșată
common.buy 75.40 lei
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Carte Carte broșată
common.buy 271.55 lei
Top
Stranger Things: Suspicious Minds Gwenda Bond / Carte Carte broșată
common.buy 58.65 lei
Top
Braiding Sweetgrass Robin Wall Kimmerer / Carte Carte broșată
common.buy 69.05 lei
Top
Oracle of the 7 Energies Colette Baron-Reid / Materiale tipărite Cărți
common.buy 128.85 lei
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Carte Carte broșată
common.buy 231.09 lei
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Carte Copertă tare
common.buy 852.74 lei
Top
Better Than the Movies Lynn Painter / Carte Carte broșată
common.buy 59.38 lei
Top
Demon in the Wood Leigh Bardugo / Carte Copertă tare
common.buy 89.43 lei
Ultimate Hits - 2 CD Rod Stewart / Audio Audio CD
common.buy 97.03 lei
Biography Nigel Hamilton / Carte Carte broșată
common.buy 174.10 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?