Formal Methods Teaching

Name: Formal Methods Teaching
Price: 67.99 USD
Availability: InStock
ISBN: 9783031275340

5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, 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: 8th March 2023

Format: LCP-protected ePub

ISBN: 9783031275340

Proceedings of FMTea 2023

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023.

The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.

FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

Show more Show less