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 Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods Teaching Gustavo Carvalho
Código Libristo: 51764574
Editoras Springer, Berlin, julho 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Descrição completa
? points 132 b Novo Novo
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Novo
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Livro Capa mole
common.buy 82.99 €
Flow Mihaly Csikszentmihalyi / Livro Capa mole
common.buy 15.60 €
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Livro Capa mole
common.buy 16.41 €
Formación continua para empleados mayores: ¿una inversión sensata? / Livro Capa mole
common.buy 36.98 €
Formación interdisciplinaria / Livro Capa mole
common.buy 36.98 €
(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA / Livro Capa mole
common.buy 13.37 €

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.

The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

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 Teaching
Autor Gustavo Carvalho, Tsutomu Kobayashi
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2026
Número de páginas 151
EAN 9783032267429
Código Libristo 51764574
Editoras Springer, Berlin
Série Lecture Notes in Computer Science
Peso 236
Dimensões 155 x 235

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
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 > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Informática aplicada > Aplicações informáticas nas ciências sociais e comportamentais
Informática & tecnologia da informação > Equipamento informático
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

Novo
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Livro Capa mole
common.buy 238.96 €
Em breve Novo
Food Quality Analysis Sivanandham Vignesh / Livro Livro de capa dura
common.buy 228.52 €
Folate targeting Agnes F. Vandome / Livro Capa mole
common.buy 97.28 €
Novo
Food Policy Councils Nessa J. Richman / Livro Capa mole
common.buy 56.14 €
Novo
Intelligent Human Computer Interaction Anshuman Shastri / Livro Capa mole
common.buy 71.84 €
Novo
Modelling and Mining Networks Fan Chung Graham / Livro Capa mole
common.buy 63.23 €
Em breve Novo
Theory and Practice of Electronic Governance Olayinka David-West / Livro Capa mole
common.buy 76.10 €
Novo
Rigorous State-Based Methods Fuyuki Ishikawa / Livro Capa mole
common.buy 80.56 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 80.56 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 80.56 €
Novo
Public-Key Cryptography - PKC 2026 Shi Bai / Livro Capa mole
common.buy 80.56 €
Em breve Novo
Chatbots and Human-Centered AI Asbjørn Følstad / Livro Capa mole
common.buy 66.98 €
Novo
Structural Information and Communication Complexity Chryssis Georgiou / Livro Capa mole
common.buy 80.56 €
Novo
Intelligent Human Computer Interaction Anshuman Shastri / Livro Capa mole
common.buy 89.17 €
Novo
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Livro Capa mole
common.buy 97.89 €
Novo
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Livro Capa mole
common.buy 58.57 €
Novo
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Livro Capa mole
common.buy 71.84 €

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?