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

Formal Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings

Língua InglêsInglês
E-book Adobe ePub DRM
Editoras Springer, novembro 2025
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Fo... Descrição completa
? points 163 b
67.42 €
Em stock Imediatamente descarregável

Os clientes também compraram

Heut Rührt Si Was Stadlrock / Áudio CD de áudio
common.buy 16.97 €
Call Center Lexikon Simone Fojut / Livro Livro de capa dura
common.buy 47.20 €

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. 

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 Formal Methods: Foundations and Applications
Autor Maurice H. ter Beek, Leopoldo Teixeira
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2025
EAN 9783032120861
Código Libristo 50222002
Editoras Springer

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Linguagem natural e tradução mecânica
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Processamento de áudio
Informática & tecnologia da informação > Gestão de redes & comunicação informática
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

Advances in Knowledge Discovery and Data Mining De-Nian Yang / E-book Adobe ePub DRM
common.buy 161.24 €
Yorkshire Sieges of the Civil Wars David Cooke / Livro Capa mole
common.buy 17.07 €
Oxford Reading Tree Traditional Tales: Level 2: Dick and His Cat Katie Adams / Livro Capa mole
common.buy 9.19 €
Operational Deception Doctrine Clinton T Anderson / Livro Capa mole
common.buy 56.20 €
Pacquiao Under Crossfire C S Granville / Livro Capa mole
common.buy 24.56 €
Freddie The Fly H. William Berger / Livro Capa mole
common.buy 27.49 €
Man by the River JOSHUA S. DODDS / Livro Livro de capa dura
common.buy 29.21 €
Hernarne: A Comedy (1891) William B. Felts / Livro Capa mole
common.buy 29.21 €
Biogeochemistry of Marine Dissolved Organic Matter Dennis A. Hansell / E-book Adobe ePub DRM
common.buy 125.65 €
Breast Ultrasound, An Issue of Ultrasound Clinics Gary Whitman / E-book Adobe ePub DRM
common.buy 63.58 €
Higher Education and the Carceral State Annie Buckley / Livro Capa mole
common.buy 55.39 €

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?