Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 39439333
Price: 946 CZK
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 39439333

Nakladatelství Springer International Publishing AG, srpen 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Celý popis

Libristo kód: 39439333

95 b

946 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

814 Kč

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

Brožovaná

116 Kč

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Brožovaná

320 Kč

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

Brožovaná

326 Kč

Elven Anna Fiske

Pevná

799 Kč

Psychische Gewalt in der Erziehung

Brožovaná

328 Kč

LEGO Ninjago (CD 46)

Audio CD

176 Kč

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

Brožovaná

1 545 Kč

Wenn dies die Zeit ist Vladimir Zarev

Pevná

390 Kč

Paul, Lisa & Co. Monika Bovermann

Brožovaná

235 Kč

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Brožovaná

774 Kč

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

Brožovaná

590 Kč

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

Brožovaná

369 Kč

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Brožovaná

1 401 Kč

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

Brožovaná

860 Kč

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

Brožovaná

315 Kč

Personenschutz - kompakt und effektiv Steve Tompson

Pevná

1 823 Kč

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

Brožovaná

780 Kč

La vuelta al mundo en 80 días Jules Verne

Brožovaná

306 Kč

Mujeres del Nuevo Testamento Pia Septien

Brožovaná

208 Kč

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.