Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Sharon Shoham
Kod Libristo: 39439333
Wydawnictwo Springer International Publishing AG, sierpień 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Cały opis
? points 100 b
179.35 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fuhrungsinformationen aus dem World Wide Web Maik Discher / Książka Miękka
common.buy 147.32 zł
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Książka Miękka
common.buy 155.02 zł
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Książka Miękka
common.buy 265.91 zł
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Książka Miękka
common.buy 61.08 zł
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Książka Miękka
common.buy 18.47 zł
Nowość
Auxilia - Heavenly flames and infernal desires Whisper Publishing / Książka Miękka
common.buy 77.61 zł
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Książka Miękka
common.buy 112.31 zł
Wenn dies die Zeit ist Vladimir Zarev / Książka Twarda
common.buy 74.32 zł
TOP
Paul, Lisa & Co. Monika Bovermann / Książka Miękka
common.buy 52.15 zł
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Książka Miękka
common.buy 153.89 zł
Personenschutz - kompakt und effektiv Steve Tompson / Książka Twarda
common.buy 346.91 zł
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Książka Miękka
common.buy 70.22 zł
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Książka Miękka
common.buy 59.33 zł
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Książka Miękka
common.buy 127.09 zł
La vuelta al mundo en 80 días Jules Verne / Książka Miękka
common.buy 48.96 zł
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Książka Miękka
common.buy 297.53 zł
Mujeres del Nuevo Testamento Pia Septien / Książka Miękka
common.buy 39.83 zł
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Książka Miękka
common.buy 61.49 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Sharon Shoham, Yakir Vizel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2022
Liczba stron 549
EAN 9783031131875
Kod Libristo 39439333
Wydawnictwo Springer International Publishing AG
Waga 866
Wymiary 155 x 235 x 31

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Women in Sports Amelia S Halloway / Książka Twarda
common.buy 783.47 zł
Black Box Captain Terrance W MacDonald / Książka Miękka
common.buy 92.29 zł
Transgenic Crop Plants Albert G. Abbott / Książka Miękka
common.buy 891.89 zł
TOP
One Piece, Vol. 76 Eiichiro Oda / Książka Miękka
common.buy 35.62 zł
Aquaculture John S. Lucas / Książka Twarda
common.buy 509.85 zł
History of Europe During the French Revolution Archibald Alison / Książka Twarda
common.buy 198.55 zł
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Książka Twarda
common.buy 170.01 zł
Islands of the Damned R. V. Burgin / Książka Miękka
common.buy 68.47 zł
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Książka Miękka
common.buy 109.33 zł
TOP
The Hating Game Sally Thorne / Książka Miękka
common.buy 43.73 zł
TOP
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Książka Miękka
common.buy 36.54 zł
Blood Surfer Debra Jess / Książka Miękka
common.buy 68.27 zł
Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes / Książka Miękka
common.buy 37.05 zł
Law, Life and Laughter Irvine Smth / Książka Miękka
common.buy 45.37 zł
I, Siglavy LISBETH ASAY / Książka Miękka
common.buy 59.54 zł
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Książka Miękka
common.buy 212.31 zł
TOP
Stranger Things: Suspicious Minds Gwenda Bond / Książka Miękka
common.buy 46.91 zł
TOP
Braiding Sweetgrass Robin Wall Kimmerer / Książka Miękka
common.buy 54.82 zł
TOP
Oracle of the 7 Energies Colette Baron-Reid / Prasa Karty
common.buy 100.30 zł
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Książka Miękka
common.buy 182.44 zł
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Książka Twarda
common.buy 669.19 zł
TOP
Better Than the Movies Lynn Painter / Książka Miękka
common.buy 46.19 zł
TOP
Demon in the Wood Leigh Bardugo / Książka Twarda
common.buy 69.19 zł
Inside the Box Peter Baxter / E-book Adobe ePub DRM
common.buy 111.80 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?