Code: 51764574

Formal Methods Teaching

Name: Formal Methods Teaching
Brand: Springer, Berlin
SKU: 51764574
Price: 51.53 EUR
Availability: InStock
Author: Gustavo Carvalho
ISBN: 9783032267429

by Gustavo Carvalho, Tsutomu Kobayashi

New!

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 ... more

Language: English
Binding: Paperback
Number of pages: 151
Publisher: Springer, Berlin, 2026
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Flow
12.09 € -28 %
Buy
Folate targeting
102.87 € -14 %
Buy
Theory and Practice of Electronic Governance
75.74 €
Pre-order
Fonetica Solletica. Tra doni sonanti e doni di sogno
17.24 €
Buy
Fondamenti di biotecnologia microbica
77.96 € -14 %
Buy
Distributed Applications and Interoperable Systems
67.87 € -7 %
Buy
Intelligent Human Computer Interaction
75.74 €
Buy
Modelling and Mining Networks
59.70 € -7 %
Buy
Structural Information and Communication Complexity
76.04 € -7 %
Buy
(g).verdelina, a tartaruga viaxeira.(conta contos)
12.50 € -10 %
Buy
Public-Key Cryptography - PKC 2026
76.04 € -7 %
Buy
Verified Software. Theories, Tools and Experiments
57.69 €
Pre-order
Formación continua para empleados mayores: ¿una inversión sensata?
39.13 € -14 %
Buy
Focus on Artificial Intelligence in Intelligent Systems Design
225.53 € -7 %
Buy
Food Policy Councils
52.24 €
Pre-order
Food Quality Analysis
227.44 €
Pre-order
Chatbots and Human-Centered AI
66.76 €
Pre-order
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
99.34 €
Buy
Intelligent Human Computer Interaction
93.90 €
Buy
Rigorous State-Based Methods
76.04 € -7 %
Buy
Formación interdisciplinaria
39.13 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

51.53 €

Full title: Formal Methods Teaching
Subtitle: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Author: Gustavo Carvalho, Tsutomu Kobayashi
Series: Lecture Notes in Computer Science,
Language: English
Binding: Paperback
Number of pages: 151
EAN: 9783032267429
ID: 51764574
Publisher: Springer, Berlin
Weight: 236 g
Dimensions: 235 × 155 mm
Date of publishing: 30. July 2026