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 €
Ponto DPD 3.99 €
Correio GLS 5.49 €
Correio MRW 5.49 €
Ponto GLS 4.49 €
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Ponto DPD 3.99 €
Correio GLS 5.49 €
Correio MRW 5.49 €
Ponto GLS 4.49 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft...
Descrição completa
Código Libristo: 42588711
?
125 b
125 b
51.68
€
Armazenamento externo
Envio em 5-8 dias
Até 30 dias para devoluções
Os clientes também compraram
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focus on the challenges of the verification of cyber-physical systems with machine learning components, Sequential learning and making large-scale verified software a practical reality.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
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
Akash Lal, Stefano Tonetta
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2023
Número de páginas
156
EAN
9783031258022
Código Libristo
42588711
Editoras
Springer, Berlin
Peso
258
Dimensões
155 x 235
