logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Formal Methods Teaching 4th International Workshop And Tutorial Fmtea 2021 Virtual Event November 21 2021 Proceedings Joo F Ferreira Alexandra Mendes Claudio Menghi

  • SKU: BELL-36678508
Formal Methods Teaching 4th International Workshop And Tutorial Fmtea 2021 Virtual Event November 21 2021 Proceedings Joo F Ferreira Alexandra Mendes Claudio Menghi
$ 31.00 $ 45.00 (-31%)

4.1

60 reviews

Formal Methods Teaching 4th International Workshop And Tutorial Fmtea 2021 Virtual Event November 21 2021 Proceedings Joo F Ferreira Alexandra Mendes Claudio Menghi instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 7.68 MB
Author: João F. Ferreira; Alexandra Mendes; Claudio Menghi
ISBN: 9783030915490, 3030915492
Language: English
Year: 2022

Product desciption

Formal Methods Teaching 4th International Workshop And Tutorial Fmtea 2021 Virtual Event November 21 2021 Proceedings Joo F Ferreira Alexandra Mendes Claudio Menghi by João F. Ferreira; Alexandra Mendes; Claudio Menghi 9783030915490, 3030915492 instant download after payment.

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.

Related Products