Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Computer Aided Verification

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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 39439333

Editores Springer International Publishing AG, agosto 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Descripción completa

Código Libristo: 39439333

111 b

45.29 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

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

Tapa blanda

39.49 €

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

Tapa blanda

5.09 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Tapa blanda

15.59 €

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

Tapa blanda

14.69 €

Elven Anna Fiske

Tapa dura

36.39 €

Psychische Gewalt in der Erziehung

Tapa blanda

15.89 €

LEGO Ninjago (CD 46)

CD de audio

7.59 €

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

Tapa blanda

72.09 €

Wenn dies die Zeit ist Vladimir Zarev

Tapa dura

18.89 €

Paul, Lisa & Co. Monika Bovermann

Tapa blanda

10.89 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Tapa blanda

37.49 €

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

Tapa blanda

28.59 €

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

Tapa blanda

17.89 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Tapa blanda

67.29 €

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

Tapa blanda

37.69 €

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

Tapa blanda

14.19 €

Personenschutz - kompakt und effektiv Steve Tompson

Tapa dura

88.39 €

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

Tapa blanda

30.99 €

La vuelta al mundo en 80 días Jules Verne

Tapa blanda

12.09 €

Mujeres del Nuevo Testamento Pia Septien

Tapa blanda

9.59 €

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.