Skip to content
VuFind
Advanced
Advanced
  • Formal methods teaching :
  • Holdings
  • Cite this
  • Export Record
    • Export to MARC
Cover Image
QR Code
Preview
Preview
Preview

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 :

Other Authors: Formal Methods Teaching Workshop and Tutorial, Ferreira, Joao F., Mendes, Alexandra, Menghi, Claudio
Subjects:
Formal methods (Computer science) -- > Congresses
Online Access: http://library.unisel.edu.my/web/guest/mylibrary
  • Holdings
  • Description
  • Reviews
  • Preview
  • Similar Items
  • Staff View

Internet

http://library.unisel.edu.my/web/guest/mylibrary

Electronic resources

Call Number: QA76 9 F67 F67 2021
Accession No Item Category SMD Status Notes
EBO0017136 EBOOK EBOOK AVAILABLE

Similar Items

  • Serious games : joint international conference, JCSG 2021, virtual event, January 12-13, 2022 : proceedings
  • Cloud computing and services science : 11th International Conference, CLOSER 2021, virtual event, April 28-30, 2021, revised selected papers
  • Cyber intelligence and information retrieval : proceedings of CIIR 2021
  • High performance computing in science and engineering '21 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021
  • Complex data analytics with formal concept analysis

Search Options

  • Advanced Search

Need Help?

  • Search Tips

Loading...