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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

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.12 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

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 179.58 €
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Knjiga Meki uvez
common.buy 35.28 €
Top
Demon in the Wood Leigh Bardugo / Knjiga Tvrdi uvez
common.buy 17.99 €
Transgenic Crop Plants Albert G. Abbott / Knjiga Meki uvez
common.buy 204.52 €
One Piece, Vol. 76 Eiichiro Oda / Knjiga Meki uvez
common.buy 9.64 €
Aquaculture John S. Lucas / Knjiga Tvrdi uvez
common.buy 119.55 €
River Sandy Stream / Knjiga Meki uvez
common.buy 14.87 €
History of Europe During the French Revolution Archibald Alison / Knjiga Tvrdi uvez
common.buy 45.54 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Knjiga Tvrdi uvez
common.buy 39.01 €
Islands of the Damned R. V. Burgin / Knjiga Meki uvez
common.buy 15.07 €
Top
Better Than the Movies Lynn Painter / Knjiga Meki uvez
common.buy 10.55 €
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Knjiga Meki uvez
common.buy 26.34 €
Top
The Hating Game Sally Thorne / Knjiga Meki uvez
common.buy 10.65 €
Black Box Captain Terrance W MacDonald / Knjiga Meki uvez
common.buy 18.29 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Knjiga Tvrdi uvez
common.buy 153.44 €
Top
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Knjiga Meki uvez
common.buy 8.34 €
Blood Surfer Debra Jess / Knjiga Meki uvez
common.buy 15.68 €
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.54 €
I, Siglavy LISBETH ASAY / Knjiga Meki uvez
common.buy 13.67 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Knjiga Meki uvez
common.buy 48.66 €
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 41.82 €
Grail of the Secret Sun Jadson Resende / Knjiga Meki uvez
common.buy 10.25 €
Stranger Things: Suspicious Minds Gwenda Bond / Knjiga Meki uvez
common.buy 10.35 €
Povoljno
Oracle of the 7 Energies Colette Baron-Reid / Tiskanica Karte
common.buy 17.79 €

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?