Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 39439333
Price: 175.09 PLN
Availability: InStock
Author: Sharon Shoham
ISBN: 9783031131875

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

Sharon Shoham

Yakir Vizel

Język

Angielski

Książka Miękka

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

Kod Libristo: 39439333

100 b

175.09 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann

Miękka

151.33 zł

Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara

Miękka

18.03 zł

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Miękka

59.63 zł

Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo

Miękka

60.03 zł

Elven Anna Fiske

Twarda

139.81 zł

Psychische Gewalt in der Erziehung

Miękka

61.03 zł

LEGO Ninjago (CD 46)

CD Audio

30.76 zł

Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy

Miękka

283.03 zł

Wenn dies die Zeit ist Vladimir Zarev

Twarda

72.55 zł

Paul, Lisa & Co. Monika Bovermann

Miękka

43.39 zł

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Miękka

143.82 zł

Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon

Miękka

109.64 zł

Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf

Miękka

68.55 zł

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Miękka

259.48 zł

Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth

Miękka

150.43 zł

Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A

Miękka

57.92 zł

Personenschutz - kompakt und effektiv Steve Tompson

Twarda

338.66 zł

Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos

Miękka

136.40 zł

La vuelta al mundo en 80 días Jules Verne

Miękka

53.51 zł

Mujeres del Nuevo Testamento Pia Septien

Miękka

38.88 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.