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, Berlin
SKU: 47701896
Price: 48.79 EUR
Availability: InStock
Author: Jonathan Protzenko
ISBN: 9783031866944

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

Jonathan Protzenko

Azalea Raad

Língua

Inglês

Livro Capa mole

Código Libristo: 47701896

Editoras Springer, Berlin, novembro 2024

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

Código Libristo: 47701896

118 b

48.79 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Reichsgedanke des staufischen Kaiserhauses Mario Krammer

Capa mole

38.58 €

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.