Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Computer Aided Verification

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

Língua

Inglês

Livro Capa mole

Código Libristo: 39439333

Editoras Springer International Publishing AG, agosto 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Descrição completa

Código Libristo: 39439333

89 b

36.82 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

31.56 €

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

Capa mole

3.73 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Capa mole

12.43 €

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

Capa mole

12.13 €

Elven Anna Fiske

Livro de capa dura

31.15 €

Psychische Gewalt in der Erziehung

Capa mole

12.74 €

LEGO Ninjago (CD 46)

CD de áudio

6.36 €

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

Capa mole

60.80 €

Wenn dies die Zeit ist Vladimir Zarev

Livro de capa dura

15.17 €

Paul, Lisa & Co. Monika Bovermann

Capa mole

9.10 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Capa mole

30.04 €

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

Capa mole

22.86 €

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

Capa mole

14.26 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Capa mole

54.53 €

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

Capa mole

29.94 €

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

Capa mole

11.63 €

Personenschutz - kompakt und effektiv Steve Tompson

Livro de capa dura

70.61 €

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

Capa mole

26.60 €

La vuelta al mundo en 80 días Jules Verne

Capa mole

10.21 €

Mujeres del Nuevo Testamento Pia Septien

Capa mole

7.48 €

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.