Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer
SKU: 47698782
Price: 51.53 EUR
Availability: InStock
Author: Andrew Reynolds
ISBN: 9783031660641

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds

Serdar Tasiran

Língua

Inglês

E-book Adobe ePub DRM

Editoras Springer, julho 2024

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

Código Libristo: 47698782

125 b

51.53 €

Em stock Imediatamente descarregável

Os clientes também compraram

MTM Záložka do knihy 3D - Koala šedá

binding.

10.22 €

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.