
Formal Methods Teaching
Format: Paperback
ISBN13: 9783030324407
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
FREE standard delivery by: 01 Apr 2026
Overview
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.
The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
| ISBN-13 | 9783030324407 |
|---|---|
| ISBN-10 | 3030324400 |
| Weight | 0.83 Pounds |
| Dimensions | 6.10 x 0.60 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xvi, 245 pages |
| Publisher | Springer |
| Published On | 2019-10-16 |
View All Offers
Sort by:
Seller details
Sparks, NV, USA
Free delivery by: 01 Apr 2026
Seller details
Santa Clarita, CA, USA
Free delivery by: 01 Apr 2026