Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Gallardo, Maria del Mar.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (1998 :); Gallardo, Maria del Mar.; Merino, Pedro.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software Algorithm Analysis and Problem Complexity. Programming Languages, Compilers, Interpreters. Computer Science. Simulation and Modeling.

Change password

Login