Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Formal Methods Teaching Workshop and Tutorial (2024 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: Formal Methods Teaching Workshop and Tutorial (2024 :); Sekerinski, E.; Ribeiro, Leila.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Foundations. Natural Language Processing (NLP) Software Engineering. Logic in AI. Control Structures and Microprogramming. Formal methods (Computer science) Computer Application in Social and Behavioral Sciences.

Change password

Login