Formal Methods Teaching

4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
€ 54.99
Lieferbar in 14 Tagen
-
+
Kurzbeschreibung des Verlags:


This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.
The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

weiterlesen
Produktdetails
Mehr Informationen
ReiheTheoretical Computer Science and General Issues
ISBN 9783030915490
Ausgabe 1st ed. 2021
Erscheinungsdatum 21.11.2021
Umfang 147 Seiten
Genre Mathematik/Grundlagen
Format Taschenbuch
Verlag Springer International Publishing
Herausgegeben von João F. Ferreira, Alexandra Mendes, Claudio Menghi
Diese Produkte könnten Sie auch interessieren:
Christophe Cérin, Depei Qian, Jean-Luc Gaudiot, Guangming Tan, Stéphane ...
€ 71,49
Yo-Sub Han, Sang-Ki Ko
€ 60,49
Sergei Artemov, Anil Nerode
€ 72,59
Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu
€ 107,79
Teddy Mantoro, Minho Lee, Media Anugerah Ayu, Kok Wai Wong, Achmad Nizar...
€ 98,99
Teddy Mantoro, Minho Lee, Media Anugerah Ayu, Kok Wai Wong, Achmad Nizar...
€ 98,99
Teddy Mantoro, Minho Lee, Media Anugerah Ayu, Kok Wai Wong, Achmad Nizar...
€ 98,99
David Mohaisen, Ruoming Jin
€ 72,59