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...

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijät: FMOODS 2011 (Conferência), Bruni, Roberto., Dingel, Juergen.
Aineistotyyppi: Livro
Kieli:Inglês
Julkaistu: Springer, 2011.
Sarja:Lecture notes in computer science
Aiheet:
Processamento eletrônico de dados Processamento distribuído Congressos.
Linkit:https://minerva.ufrj.br/F/?func=direct&doc_number=000903406&local_base=UFR01
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia