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 € Ponto GLS 4.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 146 b
59.97 €
Em stock Imediatamente descarregável

Os clientes também compraram

Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Livro Livro de capa dura
common.buy 98.45 €
GROZE PASS (with illustrations) Emily Brontë / E-book Adobe ePub DRM
common.buy 1.09 €
La democracia liberal y su época C. B. Macpherson / Livro Capa mole
common.buy 12.62 €
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 10.92 €
Gran diccionario enciclopedico de imagenes y simbolos de la Biblia Leland Ryken / E-book Adobe ePub DRM
common.buy 39.21 €
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 13.23 €
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 60.88 €
Kontinuumsschwingungen Friedrich U. Mathiak / E-book Adobe ePub DRM
common.buy 88.06 €
Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Livro Livro de capa dura
common.buy 33.29 €

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

Prosperity Bundle #3 Robert Collier / E-book Adobe ePub DRM
common.buy 2.20 €
Brian and Mina's Holiday Hits Kitty Thomas / Audiolivro MP3
common.buy 48.94 €
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-book Adobe ePub DRM
common.buy 24.16 €
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 11.93 €
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 12.33 €
Lift Tom Miller / E-book Adobe ePub DRM
common.buy 8.52 €
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 14.63 €
Sencha Touch in Action Anthony De Moss / E-book Adobe ePub DRM
common.buy 63.99 €
Em breve
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Livro Capa mole
common.buy 16.13 €
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 14.53 €
Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 61.38 €
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 39.41 €
Black History for Every Day of the Year David Olusoga / Livro Livro de capa dura
common.buy 27.96 €
Wildfowling Abel Chapman / Livro Capa mole
common.buy 23.85 €
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Livro Capa mole
common.buy 24.87 €
Can I Have You?: A BWWM Romance Ja'nese Dixon / Livro Capa mole
common.buy 13.83 €
Harvest K. Makansi / E-book Adobe ePub DRM
common.buy 4.10 €
Ethanol and Xylitol Abdul Ghaffar / Livro Capa mole
common.buy 33.68 €

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?