Verificar estado da encomenda

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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Methods Teaching Gustavo Carvalho

Formal Methods Teaching

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

Gustavo Carvalho

Tsutomu Kobayashi

Língua

Inglê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

Código Libristo: 51764574

?

points

132 b

Novo

Novo

54.24 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Fondamenti di biotecnologia microbica Uttamkumar S. Bagde

/

Capa mole

82.58 €

Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci

/

Capa mole

16.13 €

Formación continua para empleados mayores: ¿una inversión sensata?

/

Capa mole

41.35 €

Formación interdisciplinaria

/

Capa mole

41.35 €

L'ANNEE SANS ETE T 01 LES FIANCAILLES AU BERCEAU LEMIEUX JULIE Livro

binding.

15.42 €

(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA

/

Capa mole

13.20 €

Chen Chie-Jen MUSEO NACIONAL CENTRO DE ARTE REINA SOFíA

/

Capa mole

13.81 €

Die Rechtfertigung Der Tabaksteuer Tillman Kempf

/

Capa mole

81.98 €

Flow Mihaly Csikszentmihalyi

/

Capa mole

15.52 €

Gerichtliche Schriftvergleichung Lothar Michel

/

Livro de capa dura

138.55 €

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

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

Food Quality Analysis Sivanandham Vignesh

/

Livro de capa dura

211.76 €

Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy

/

Capa mole

237.78 €

Practice Makes Perfect: Basic Italian, Premium Third Edition Visconti

/

Capa mole

14.11 €

Food Policy Councils Nessa J. Richman

/

Capa mole

60.09 €

Folate targeting Agnes F. Vandome

/

Capa mole

108.85 €

On Location – Drawing the Outdoors Joachim Homann

/

Livro de capa dura

42.85 €

Advances in Human Genetics 11 Harry Harris

/

Capa mole

54.24 €

The Good Life: Lessons from the World's Longest Scientific Study of Happiness Marc Schulz

/

Livro de capa dura

22.88 €

Challenging Mazes for Kids: 75 Full-Color Mazes Including Find-The-Item and 3-D Fun! Rockridge Press

/

Capa mole

9.37 €

Historic Movie Theatres of West Virginia Kelli Shapiro

/

Capa mole

19.15 €

Sins of the Fathers Judith Liebaert

/

Capa mole

13.30 €

5 Disciplines Frances Pelzman

/

Livro de capa dura

52.33 €

Pushkin's Heroines and the Life-Art Connection

/

Capa mole

45.98 €

Linguistic and Philosophical Perspectives about Reference Lenny Clapp

/

Capa mole

45.98 €

Chatbots and Human-Centered AI Asbjørn Følstad

/

Capa mole

62.92 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Capa mole

80.16 €

Modelling and Mining Networks Fan Chung Graham

/

Capa mole

62.92 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Capa mole

80.16 €

Public-Key Cryptography - PKC 2026 Shi Bai

/

Capa mole

80.16 €

Rigorous State-Based Methods Fuyuki Ishikawa

/

Capa mole

80.16 €

Theory and Practice of Electronic Governance Olayinka David-West

/

Capa mole

81.17 €

Structural Information and Communication Complexity Chryssis Georgiou

/

Capa mole

80.16 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Capa mole

71.59 €

Intelligent Human Computer Interaction Anshuman Shastri

/

Capa mole

88.73 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?