Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Sharon Shoham
Libristo kod: 39439333
Nakladnici Springer International Publishing AG, kolovoz 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Cijeli opis
? points 100 b
41.38 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Fuhrungsinformationen aus dem World Wide Web Maik Discher / Knjiga Meki uvez
common.buy 33.99 €
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Knjiga Meki uvez
common.buy 35.71 €
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Knjiga Meki uvez
common.buy 61.32 €
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Knjiga Meki uvez
common.buy 14.06 €
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Knjiga Meki uvez
common.buy 4.65 €
Novo
Auxilia - Heavenly flames and infernal desires Whisper Publishing / Knjiga Meki uvez
common.buy 17.90 €
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Knjiga Meki uvez
common.buy 25.90 €
Wenn dies die Zeit ist Vladimir Zarev / Knjiga Tvrdi uvez
common.buy 17.19 €
Top
Paul, Lisa & Co. Monika Bovermann / Knjiga Meki uvez
common.buy 10.21 €
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Knjiga Meki uvez
common.buy 33.69 €
Personenschutz - kompakt und effektiv Steve Tompson / Knjiga Tvrdi uvez
common.buy 80.04 €
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Knjiga Meki uvez
common.buy 16.18 €
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Knjiga Meki uvez
common.buy 13.65 €
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Knjiga Meki uvez
common.buy 29.34 €
La vuelta al mundo en 80 días Jules Verne / Knjiga Meki uvez
common.buy 11.32 €
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Knjiga Meki uvez
common.buy 68.60 €
Mujeres del Nuevo Testamento Pia Septien / Knjiga Meki uvez
common.buy 9.20 €
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Knjiga Meki uvez
common.buy 14.16 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Sharon Shoham, Yakir Vizel
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2022
Broj stranica 549
EAN 9783031131875
Libristo kod 39439333
Nakladnici Springer International Publishing AG
Težina 866
Dimenzije 155 x 235 x 31

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Women in Sports Amelia S Halloway / Knjiga Tvrdi uvez
common.buy 180.73 €
Black Box Captain Terrance W MacDonald / Knjiga Meki uvez
common.buy 21.24 €
Transgenic Crop Plants Albert G. Abbott / Knjiga Meki uvez
common.buy 205.83 €
Top
One Piece, Vol. 76 Eiichiro Oda / Knjiga Meki uvez
common.buy 8.79 €
Aquaculture John S. Lucas / Knjiga Tvrdi uvez
common.buy 123.86 €
History of Europe During the French Revolution Archibald Alison / Knjiga Tvrdi uvez
common.buy 45.83 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Knjiga Tvrdi uvez
common.buy 39.26 €
Islands of the Damned R. V. Burgin / Knjiga Meki uvez
common.buy 15.78 €
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Knjiga Meki uvez
common.buy 25.19 €
Top
The Hating Game Sally Thorne / Knjiga Meki uvez
common.buy 10.11 €
Top
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Knjiga Meki uvez
common.buy 8.39 €
Blood Surfer Debra Jess / Knjiga Meki uvez
common.buy 15.78 €
Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes / Knjiga Meki uvez
common.buy 8.59 €
Law, Life and Laughter Irvine Smth / Knjiga Meki uvez
common.buy 10.41 €
I, Siglavy LISBETH ASAY / Knjiga Meki uvez
common.buy 13.75 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Knjiga Meki uvez
common.buy 48.97 €
Top
Stranger Things: Suspicious Minds Gwenda Bond / Knjiga Meki uvez
common.buy 10.82 €
Top
Braiding Sweetgrass Robin Wall Kimmerer / Knjiga Meki uvez
common.buy 12.64 €
Top
Oracle of the 7 Energies Colette Baron-Reid / Tiskanica Karte
common.buy 23.16 €
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Knjiga Meki uvez
common.buy 42.09 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Knjiga Tvrdi uvez
common.buy 154.42 €
Top
Better Than the Movies Lynn Painter / Knjiga Meki uvez
common.buy 10.62 €
Top
Demon in the Wood Leigh Bardugo / Knjiga Tvrdi uvez
common.buy 15.98 €
Inside the Box Peter Baxter / E-knjiga Adobe ePub DRM
common.buy 24.48 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?