A carregar...

Formal techniques for distributed systems joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 : proceedings /

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: FMOODS 2011 (Conferência), Bruni, Roberto., Dingel, Juergen.
Formato: Livro
Idioma:Inglês
Publicado em: Springer, 2011
Colecção:Lecture notes in computer science
Assuntos:
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000903406&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!