Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formal Methods Teaching

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

Language EnglishEnglish
Book Paperback
Book Formal Methods Teaching Gustavo Carvalho
Libristo code: 51764574
Publishers Springer, Berlin, July 2026
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T... Full description
? points 125 b New New
51.73 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

New
Fondamenti di biotecnologia microbica Uttamkumar S. Bagde / Book Paperback
common.buy 78.27 €
Flow Mihaly Csikszentmihalyi / Book Paperback
common.buy 16.29 €
Fonetica Solletica. Tra doni sonanti e doni di sogno Cinzia Recci / Book Paperback
common.buy 17.31 €
Formación continua para empleados mayores: ¿una inversión sensata? / Book Paperback
common.buy 39.28 €
Formación interdisciplinaria / Book Paperback
common.buy 39.28 €
(g).verdelina, a tartaruga viaxeira.(conta contos) XOSE LOIS RIPALDA / Book Paperback
common.buy 12.65 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods Teaching
Author Gustavo Carvalho, Tsutomu Kobayashi
Language English
Binding Book - Paperback
Date of issue 2026
Number of pages 151
EAN 9783032267429
Libristo code 51764574
Publishers Springer, Berlin
Series Lecture Notes in Computer Science
Weight 236
Dimensions 155 x 235

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Applied computing > Computer applications in the social & behavioural sciences
Computing & Information Technology > Computer hardware
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

New
Focus on Artificial Intelligence in Intelligent Systems Design Radek Silhavy / Book Paperback
common.buy 226.51 €
Coming soon New
Food Quality Analysis Sivanandham Vignesh / Book Hardback
common.buy 228.34 €
Folate targeting Agnes F. Vandome / Book Paperback
common.buy 103.28 €
New
Food Policy Councils Nessa J. Richman / Book Paperback
common.buy 53.35 €
New
Intelligent Human Computer Interaction Anshuman Shastri / Book Paperback
common.buy 68.14 €
New
Modelling and Mining Networks Fan Chung Graham / Book Paperback
common.buy 59.94 €
Coming soon New
Theory and Practice of Electronic Governance Olayinka David-West / Book Paperback
common.buy 76.04 €
New
Rigorous State-Based Methods Fuyuki Ishikawa / Book Paperback
common.buy 76.34 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.34 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.34 €
New
Public-Key Cryptography - PKC 2026 Shi Bai / Book Paperback
common.buy 76.34 €
Coming soon New
Chatbots and Human-Centered AI Asbjørn Følstad / Book Paperback
common.buy 66.92 €
New
Structural Information and Communication Complexity Chryssis Georgiou / Book Paperback
common.buy 76.34 €
New
Intelligent Human Computer Interaction Anshuman Shastri / Book Paperback
common.buy 84.54 €
New
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Book Paperback
common.buy 92.85 €
New
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Book Paperback
common.buy 58.52 €
New
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Book Paperback
common.buy 68.14 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?