Formal Methods Teaching

Name: Formal Methods Teaching
Price: 59.99 USD
Availability: InStock
ISBN: 9783032267436

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

Mathematical foundations Mathematical logic Computer hardware Software Engineering Computer applications in the social and behavioural sciences Artificial intelligence Natural language and machine translation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 18th May 2026

Format: LCP-protected ePub

ISBN: 9783032267436

Invited Talks

The book also contains two invited talks in full paper length.

Assessment and Evaluation in FM Education

The papers are organized into the following topical sections: Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

Experiential and Practice-Oriented FM Education

Show more Show less