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 software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: Gallardo, Maria del Mar.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Merino, Pedro. (Language materials, printed)

Subjects

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

Change password

Login