Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Eleftherakis, George.

Overview

Works:	2 works in 1 publications in 1 languages

Titles

Software engineering and formal methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (1998 :); Eleftherakis, George.; Hinchey, Mike.; Holcombe, Mike.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics) Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Computer Science. Computer Communication Networks.

Change password

Login