Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Computer Aided Verification

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

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Sharon Shoham
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
? points 105 b
43.59 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Fuhrungsinformationen aus dem World Wide Web Maik Discher / Livro Capa mole
common.buy 35.90 €
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Livro Capa mole
common.buy 35.70 €
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Livro Capa mole
common.buy 64.73 €
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Livro Capa mole
common.buy 14.86 €
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Livro Capa mole
common.buy 4.54 €
Novo
Auxilia - Heavenly flames and infernal desires Whisper Publishing / Livro Capa mole
common.buy 19.01 €
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Livro Capa mole
common.buy 24.37 €
Wenn dies die Zeit ist Vladimir Zarev / Livro Livro de capa dura
common.buy 16.07 €
Principal
Paul, Lisa & Co. Monika Bovermann / Livro Capa mole
common.buy 12.63 €
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Livro Capa mole
common.buy 35.50 €
Personenschutz - kompakt und effektiv Steve Tompson / Livro Livro de capa dura
common.buy 75.35 €
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Livro Capa mole
common.buy 16.18 €
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Livro Capa mole
common.buy 13.65 €
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Livro Capa mole
common.buy 29.33 €
La vuelta al mundo en 80 días Jules Verne / Livro Capa mole
common.buy 11.32 €
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Livro Capa mole
common.buy 71.71 €
Mujeres del Nuevo Testamento Pia Septien / Livro Capa mole
common.buy 9.20 €
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Livro Capa mole
common.buy 14.15 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computer Aided Verification
Autor Sharon Shoham, Yakir Vizel
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2022
Número de páginas 549
EAN 9783031131875
Código Libristo 39439333
Editoras Springer International Publishing AG
Peso 866
Dimensões 155 x 235 x 31

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Women in Sports Amelia S Halloway / Livro Livro de capa dura
common.buy 190.77 €
Black Box Captain Terrance W MacDonald / Livro Capa mole
common.buy 21.23 €
Transgenic Crop Plants Albert G. Abbott / Livro Capa mole
common.buy 216.77 €
Principal
One Piece, Vol. 76 Eiichiro Oda / Livro Capa mole
common.buy 9.90 €
Aquaculture John S. Lucas / Livro Livro de capa dura
common.buy 129.98 €
History of Europe During the French Revolution Archibald Alison / Livro Livro de capa dura
common.buy 43.59 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Livro Livro de capa dura
common.buy 37.32 €
Islands of the Damned R. V. Burgin / Livro Capa mole
common.buy 15.77 €
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Livro Capa mole
common.buy 25.18 €
Principal
The Hating Game Sally Thorne / Livro Capa mole
common.buy 10.81 €
Principal
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Livro Capa mole
common.buy 8.39 €
Blood Surfer Debra Jess / Livro Capa mole
common.buy 15.77 €
Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes / Livro Capa mole
common.buy 8.08 €
Law, Life and Laughter Irvine Smth / Livro Capa mole
common.buy 10.41 €
I, Siglavy LISBETH ASAY / Livro Capa mole
common.buy 13.75 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Livro Capa mole
common.buy 51.78 €
Principal
Stranger Things: Suspicious Minds Gwenda Bond / Livro Capa mole
common.buy 11.62 €
Principal
Braiding Sweetgrass Robin Wall Kimmerer / Livro Capa mole
common.buy 13.54 €
Principal
Oracle of the 7 Energies Colette Baron-Reid / Artigos impressos Cartões
common.buy 23.15 €
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Livro Capa mole
common.buy 40.05 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Livro Livro de capa dura
common.buy 162.75 €
Principal
Better Than the Movies Lynn Painter / Livro Capa mole
common.buy 10.61 €
Principal
Demon in the Wood Leigh Bardugo / Livro Livro de capa dura
common.buy 17.09 €
Inside the Box Peter Baxter / E-book Adobe ePub DRM
common.buy 25.79 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?