Summary goes here
Furkejuvvon:
| Materiálatiipa: | Girji |
|---|---|
| Giella: | eaŋgalasgiella |
| Fáttát: | |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 040d3990-3d93-4359-ba29-e163681cf5c3 |
| isbn | 9783030324407 3030324400 |
| issn | |
| language | eng |
| physical | xvi, 243 pages :illustrations (black and white) ;24 cm. |
| publication | – publisher: Springer dateOfPublication: 2019 |
| publishDate | 2019 |
| subjects | |
| title | 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 / Brijesh Dongol, Luigia Petre, Graeme Smith (eds.). |
| topic | Formal methods (Computer science) |