Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
2019 ed.
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
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.
Get Formal Methods Teaching by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
Discover books you might love based on this title.
More in This Genre
History of Computing: Software Issues
Ksh 8,100.00
An Introduction to Optimal Satellite Range Scheduling
Ksh 5,950.00
Bias and Social Aspects in Search and Recommendation
Ksh 8,100.00
Computational Intelligence and Intelligent Systems
Ksh 8,100.00
Applied Quantum Computing and Cryptography
Ksh 23,400.00
Deep Learning Applications
Ksh 20,700.00
