Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

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

Nakladateľstvo Springer International Publishing AG, august 2022

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

Libristo kód: 39439333

100 b

41.41 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

35.74 €

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

Brožovaná

4.75 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Brožovaná

14.07 €

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

Brožovaná

13.46 €

Elven Anna Fiske

Pevná

33.01 €

Psychische Gewalt in der Erziehung

Brožovaná

14.47 €

LEGO Ninjago (CD 46)

Audio CD

7.28 €

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

Brožovaná

66.94 €

Wenn dies die Zeit ist Vladimir Zarev

Pevná

17.21 €

Paul, Lisa & Co. Monika Bovermann

Brožovaná

11.13 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Brožovaná

34.02 €

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

Brožovaná

25.92 €

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

Brožovaná

16.20 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Brožovaná

61.37 €

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

Brožovaná

35.54 €

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

Brožovaná

13.06 €

Personenschutz - kompakt und effektiv Steve Tompson

Pevná

80.10 €

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

Brožovaná

32.30 €

La vuelta al mundo en 80 días Jules Verne

Brožovaná

12.65 €

Mujeres del Nuevo Testamento Pia Septien

Brožovaná

8.60 €

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.