Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Formal Methods Teaching Workshop and Tutorial (2023 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: Dubois, Catherine.; San Pietro, Pierluigi.; SpringerLink (Online service); Formal Methods Teaching Workshop and Tutorial (2023 :) (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