An edition of Formal Methods Teaching
(2019)
Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...
by Brijesh Dongol, Luigia Petre, and Graeme Smith
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...
Oct 16, 2019, Springer
paperback
3030324400 9783030324407
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... (Lecture Notes in Computer Science (11758))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created July 19, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 7, 2021 | Edited by ImportBot | import existing book |
| July 19, 2020 | Created by ImportBot | Imported from amazon.com record |