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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €
phone Contacto phoneComo comprar

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Constantin Enea
Código Libristo: 50453574
Editoras Springer Nature B.V., julho 2023
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the... Descrição completa
? points 138 b
56.77 €
Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Schützende Wirkung von Palmblütenpollen gegen durch Kokzidien verursachte Darmschäden Mahmoud Saleh Metwaly / Livro Capa mole
common.buy 33.76 €
Darstellung des "Turken als Antichrist im 16. Jahrhunderts Julian Schumertl / Livro Capa mole
common.buy 17.07 €
Principal
A kuku, kocham Cię! Ingela P. Arrhenius / Livro Livro de capa dura
common.buy 7.43 €
Expansion palatine rapide assistée par mini-vis (MARPE) Kirti Banka / Livro Capa mole
common.buy 57.07 €
Geflüchtete in ländlichen Regionen Deutschlands Peter Mehl / E-book Adobe ePub DRM
common.buy 4.81 €
Afrikanische indigene Kirchen, Polygamie und HIV und Aids Bridget Nonde Masaiti / Livro Capa mole
common.buy 55.36 €
INTEGRALE DES VILLES ET DES FEMMES De Groot / Livro Livro de capa dura
common.buy 26.12 €
Lecciones de Derecho Financiero y Tributario. Parte Especial. Teoría, Práctica, Fórmulas y Esquemas. Fernández de Soto Blass / Livro Capa mole
common.buy 68.83 €
Aliapiedi en Dublín Zuffi / Livro Livro de capa dura
common.buy 14.86 €
Involvement und Werbung. Wie beeinflusst das Involvement die Werbeeffektivität? Regina Schneider / Livro Capa mole
common.buy 17.98 €
FRE-BULLETIN DES COMMISSIONS R Belgium Commissions Royales D'Art Et D. / Livro Livro de capa dura
common.buy 39.99 €
Pescados y mariscos / Livro Capa mole
common.buy 13.05 €
Kontinente Axel Hütte / Livro Livro de capa dura
common.buy 29.03 €

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.



The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:



Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;



Part II: Decision procedures; model checking; neural networks and machine learning;



Part II: Probabilistic systems; security and quantum systems; software verification.

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 Constantin Enea, Akash Lal
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2023
Número de páginas 478
EAN 9783031377044
ISBN 3031377044
Código Libristo 50453574
Editoras Springer Nature B.V.
Peso 665
Dimensões 156 x 234 x 24

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Programação & engenharia informática
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

Young Guns Steve Hackman / Livro Capa mole
common.buy 9.24 €
Political History of the Two Irelands Brian M Walker / Livro Capa mole
common.buy 63.70 €
Process, Reality, and the Power of Symbols Murray Code / Livro Livro de capa dura
common.buy 59.88 €
Utopia and Terror in Contemporary American Fiction Judie Newman / Livro Livro de capa dura
common.buy 249.51 €
English Reports in Law and Equity Great Britain Privy Council Judicial C. / Livro Livro de capa dura
common.buy 43.91 €
MATHKNOW Michele Emmer / Livro Capa mole
common.buy 52.95 €
Symbolism and Astrology Alan Leo / Livro Capa mole
common.buy 23.61 €
Reflective Learning Teresa Budworth / E-book Adobe ePub DRM
common.buy 65.11 €
Handbook, Butane-propane Gases Arthur Ed Rohman / Livro Capa mole
common.buy 28.94 €

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?