Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Methods Teaching

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 191 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Formal Methods Teaching
• Podnázov: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
• Autor: Catherine Dubois, Pierluigi San Pietro
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 103
• EAN: 9783031275333
• ID: 42849739
• Nakladateľ: Springer, Berlin
• Rozmery: 235 × 155 mm
• Dátum vydania: 04. April 2023

---

---

---