Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Tests and Proofs

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

Língua InglêsInglês
E-book Adobe ePub DRM
E-book Tests and Proofs Virgile Prevosto
Código Libristo: 44990640
Editoras Springer, julho 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Descrição completa
? points 125 b
51.53 €
Em stock Imediatamente descarregável

Os clientes também compraram

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Livro Livro de capa dura
common.buy 35.21 €
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 51.33 €
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 11.43 €
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 9.31 €
La democracia liberal y su época C. B. Macpherson / Livro Capa mole
common.buy 10.82 €
Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Livro Livro de capa dura
common.buy 83.83 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Tests and Proofs
Autor Virgile Prevosto, Cristina Seceleanu
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2023
EAN 9783031388286
Código Libristo 44990640
Editoras Springer

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Filosofia & Religião > Filosofia
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 50.72 €
Brian and Mina's Holiday Hits Kitty Thomas / Audiolivro MP3
common.buy 41.30 €
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-book Adobe ePub DRM
common.buy 20.34 €
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 10.22 €
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 10.32 €
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 12.55 €
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 12.55 €
Em breve
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Livro Capa mole
common.buy 14.07 €
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 31.79 €
Wildfowling Abel Chapman / Livro Capa mole
common.buy 20.55 €
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Livro Capa mole
common.buy 21.36 €
Can I Have You?: A BWWM Romance Ja'nese Dixon / Livro Capa mole
common.buy 11.84 €
Ethanol and Xylitol Abdul Ghaffar / Livro Capa mole
common.buy 28.34 €
Em breve
Berlitz Pocket Guide Naples, Capri & the Amalfi Coast (Travel Guide) Bearlitz / Livro Capa mole
common.buy 5.76 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?