Idioma:

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent Mounier

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2989 ) e outros locais(Acessar)

Título:
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Autor: International SPIN Workshop (11th 2004 Barcelona, Spain)
Susanne Graf; Laurent Mounier
Assuntos: Computer software -- Verification -- Congresses; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); SISTEMAS OPERACIONAIS (CONGRESSOS); ENGENHARIA DE PROGRAMAS -- CONGRESSOS; SPIN (Logiciel); SPIN (Computer file) -- Congresses -- Congrès; model checking software; software; SPIN
Notas: Includes bibliographical references and index.
Títulos relacionados: Série:Lecture notes in computer science 2989
Editor: Berlin Springer New York
Data de criação/publicação: c2004
Formato: x, 307 p. ill. 24 cm..
Idioma: Inglês

Links

Voltar para lista de resultados