Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

International Symposium of Formal Methods Europe (2024 :)

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II / by: International Symposium of Formal Methods Europe (2024 :); Platzer, Andre.; SpringerLink (Online service) (Electronic resources)

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part I / by: International Symposium of Formal Methods Europe (2024 :); Platzer, André.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Natural Language Processing (NLP) Programming Language. Control Structures and Microprogramming. Formal methods (Computer science) Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems.

Change password

Login