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.41 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

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 189.89 €
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Livro Capa mole
common.buy 35.35 €
Principal
Demon in the Wood Leigh Bardugo / Livro Livro de capa dura
common.buy 19.13 €
Transgenic Crop Plants Albert G. Abbott / Livro Capa mole
common.buy 215.88 €
One Piece, Vol. 76 Eiichiro Oda / Livro Capa mole
common.buy 10.37 €
Aquaculture John S. Lucas / Livro Livro de capa dura
common.buy 125.82 €
River Sandy Stream / Livro Capa mole
common.buy 14.90 €
History of Europe During the French Revolution Archibald Alison / Livro Livro de capa dura
common.buy 45.63 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Livro Livro de capa dura
common.buy 39.08 €
Islands of the Damned R. V. Burgin / Livro Capa mole
common.buy 16.11 €
Principal
Better Than the Movies Lynn Painter / Livro Capa mole
common.buy 10.57 €
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Livro Capa mole
common.buy 26.38 €
The Hating Game Sally Thorne / Livro Capa mole
common.buy 11.47 €
Black Box Captain Terrance W MacDonald / Livro Capa mole
common.buy 19.23 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Livro Livro de capa dura
common.buy 162.08 €
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Livro Capa mole
common.buy 8.35 €
Blood Surfer Debra Jess / Livro Capa mole
common.buy 15.71 €
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.55 €
I, Siglavy LISBETH ASAY / Livro Capa mole
common.buy 13.69 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Livro Capa mole
common.buy 51.57 €
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 41.90 €
Grail of the Secret Sun Jadson Resende / Livro Capa mole
common.buy 10.27 €
Stranger Things: Suspicious Minds Gwenda Bond / Livro Capa mole
common.buy 11.17 €
Económico
Oracle of the 7 Energies Colette Baron-Reid / Artigos impressos Cartões
common.buy 17.82 €

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?