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

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed a...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
Główni autorzy: International Conference on Formal Methods for Open Object-Based Distributed Systems, Barthe, Gilles., Boer, Frank S. de.
Format: Livro
Język:Inglês
Wydane: Springer, c200
Seria:Lecture notes in computer science ;
Hasła przedmiotowe:
Processamento eletrônico de dados Processamento distribuído Congressos.
Programação orientada a objetos (Computação) Congressos.
Dostęp online:https://minerva.ufrj.br/F/?func=direct&doc_number=000909857&local_base=UFR01
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy