Idioma:

Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway) Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1

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

Título:
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings
Autor: International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway)
Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1
Assuntos: TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); Electronic data processing -- Distributed processing -- Congresses; Object-oriented programming (Computer science) -- Congresses; PROCESSAMENTO ELETRÔNICO DE DADOS (CONGRESSOS); PROGRAMAÇÃO ORIENTADA A OBJETOS (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 5051 LNCS sublibrary SL 2 Programming and software engineering
Editor: Berlin Springer New York
Data de criação/publicação: c2008
Formato: x, 258 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados