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

Verified Software. Theories, Tools and Experiments

17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers.DE

Língua InglêsInglês
Livro Capa mole
Livro Verified Software. Theories, Tools and Experiments Clément Pit-Claudel
Código Libristo: 51857483
Editoras Springer, Berlin, agosto 2026
This book constitutes the refereed proceedings of the 17th International Conference on Verified Soft... Descrição completa
? points 132 b Novo Novo
54.07 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Deux mondes Etel Adnan / Livro Capa mole
common.buy 15.27 €
Atención al cliente y tramitación de consultas de servicios financieros. Certificados de profesionalidad. Comercialización y administración de product GARCÍA PRADO / Livro Capa mole
common.buy 18.69 €

This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.

The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.

VSTTE focusses on critical research challenges in the spectrum of 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 Verified Software. Theories, Tools and Experiments
Autor Clément Pit-Claudel, Katherine Kosaian
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2026
Número de páginas 110
EAN 9783032273390
Código Libristo 51857483
Editoras Springer, Berlin
Série Lecture Notes in Computer Science
Peso 194
Dimensões 155 x 235

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas
Informática & tecnologia da informação > Equipamento informático
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

Yuuna and the Haunted Hot Springs Vol. 5 Tadahiro Miura / Livro Capa mole
common.buy 10.95 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 79.90 €
Novo
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Livro Capa mole
common.buy 71.35 €
Novo
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Livro Capa mole
common.buy 97.09 €
Modelling and Mining Networks Fan Chung Graham / Livro Capa mole
common.buy 62.71 €
Em breve Novo
Theory and Practice of Electronic Governance Olayinka David-West / Livro Capa mole
common.buy 80.90 €
Rigorous State-Based Methods Fuyuki Ishikawa / Livro Capa mole
common.buy 79.90 €
Novo
Formal Methods Teaching Gustavo Carvalho / Livro Capa mole
common.buy 54.07 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 79.90 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 79.90 €
Novo
Chatbots and Human-Centered AI Asbjørn Følstad / Livro Capa mole
common.buy 62.71 €
Novo
Structural Information and Communication Complexity Chryssis Georgiou / Livro Capa mole
common.buy 79.90 €
Intelligent Human Computer Interaction Anshuman Shastri / Livro Capa mole
common.buy 71.35 €
Intelligent Human Computer Interaction Anshuman Shastri / Livro Capa mole
common.buy 88.44 €

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?