Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Theoretical Computer Science and General Issues)
Product details
| Management number | 232087726 | Release Date | 2026/06/18 | List Price | US$20.68 | Model Number | 232087726 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3030915492 |
|---|---|
| ISBN13 | 978-3030915490 |
| Edition | 1st ed. 2021 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.37 x 9.25 inches |
| Item Weight | 9.2 ounces |
| Print length | 164 pages |
| Publication date | November 21, 2021 |
Bestseller ranking
Logic
Customers who viewed this product also viewed
Music Benches & Stools
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form