Verificar estado da encomenda

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

A minha conta

▸ Vazio :-(

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer
SKU: 49179237
Price: 51.42 EUR
Availability: InStock
Author: Jonathan Protzenko
ISBN: 9783031866951

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Jonathan Protzenko

Azalea Raad

Língua

Inglês

E-book Adobe ePub DRM

Editoras Springer, maio 2025

This book constitutes the refereed proceedings of the 16th International Conference on Verified Soft... Descrição completa

Código Libristo: 49179237

125 b

51.42 €

Em stock Imediatamente descarregável

Os clientes também compraram

&quote;In dieser reinen Welt dort oben&quote;. Thomas A Muller

Adobe ePub DRM

17.27 €

Batman: The Animated Series DC Direct Build-A Action Figures Wave 7 Batman (Alternate Expressions) (Platinum Edition) 15 cm Jogo/brinquedo

Brinquedo

42.22 €

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.