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 :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 43672513
Price: 54.51 EUR
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388279

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto

Cristina Seceleanu

Língua

Inglês

Livro Capa mole

Código Libristo: 43672513

Editoras Springer, Berlin, agosto 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Descrição completa

Código Libristo: 43672513

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Também pode estar interessado em

Empty Cradle Rosie Goodwin

Capa mole

12.15 €

White Jacket Herman Melville

Capa mole

20.66 €

Pocket Scottish Tales Tony Potter

Livro de capa dura

8.20 €

Bladder Cancer David Pulver

Livro de capa dura

39.62 €

Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D.

Livro de capa dura

40.22 €

Brick by Brick Sheffield

Livro de capa dura

15.50 €

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.