Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Ábrahám, Erika.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: RV (Conference) (2024 :); Ábrahám, Erika.; Abbas, Houssam.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Formal methods (Computer science) Computer Science Logic and Foundations of Programming. Algorithms. Computer software- Testing Formal Languages and Automata Theory. Artificial Intelligence. Computer software- Verification Compilers and Interpreters.

Change password

Login