• Anglický jazyk

Formal Methods Teaching

Autor: Pierluigi San Pietro

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

The 7 full papers presented in this volume were carefully reviewed and selected... Viac o knihe

Na objednávku

54.44 €

bežná cena: 60.49 €

O knihe

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, 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.

  • Vydavateľstvo: Springer Nature Switzerland
  • Rok vydania: 2023
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783031275333

Generuje redakčný systém BUXUS CMS spoločnosti ui42.