|
|
|
|
| LEADER |
01183cam a2200241 7i4500 |
| 001 |
0000073936 |
| 005 |
20221229090000.0 |
| 020 |
|
|
|a 9783030915506 (electronic book)
|
| 090 |
0 |
0 |
|a QA76.9.F67
|b F67 2021
|
| 111 |
1 |
|
|a Formal Methods Teaching Workshop and Tutorial
|c Online
|d 2021
|n 4th
|
| 245 |
0 |
0 |
|a Formal methods teaching :
|b 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 :
|b 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 :
|b proceedings
|c Joao F. Ferreira, Alexandra Mendes, Claudio Menghi (editors).
|
| 264 |
|
|
|a Cham:
|b Springer,
|c 2021.
|
| 300 |
|
|
|a 1 online resource (vi, 146 pages):
|b illustrations (some color), text file, PDF.
|
| 336 |
|
|
|a text
|2 rdacontent
|
| 337 |
|
|
|a computer
|2 rdamedia
|
| 338 |
|
|
|a online resource
|2 rdacarrier
|
| 650 |
|
0 |
|a Formal methods (Computer science) --
|x Congresses
|
| 700 |
1 |
|
|a Ferreira, Joao F.
|
| 700 |
1 |
|
|a Mendes, Alexandra
|
| 700 |
1 |
|
|a Menghi, Claudio
|
| 856 |
4 |
2 |
|u http://library.unisel.edu.my/web/guest/mylibrary
|
| 997 |
|
|
|a Communication, Visual Art & Computing, Faculty
|b Computing, Department
|
| 999 |
|
|
|a EBO0017136
|b EBOOK
|c EBOOK
|e Electronic resources
|
