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 work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| 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
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
| July 19, 2020 | Created by ImportBot | import new book |