Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /

Selección de ponencias presentadas en la trigésima cuarta Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, celebrada en Berlín, Alemania, en junio de 2014, como parte de la novena Conferencia Internacional Federada sobre Técnicas de Com...

Celý popis

Podrobná bibliografie

Korporace:	IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems ( Berlín, Alemania), International Federated Conference on Distributed Computing Techniques
Další autoři:	Ábrahám, Erika (edición) (edición), Palamidessi, Catuscia (edición) (edición)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Heidelberg, Alemania : Springer, 2014, c2014
Edice:	(Lecture Notes in Computer Science ; 8461)
Témata:	Cómputo Distribuido - > Tema Principal Redes de Computadoras - > Seguridad Autómatas Matemáticos - > Teoría Modelos Matemáticos Paquetes (Software) - > Prueba y Medición Programación (Software) - > Planeación Programación Orientada a Objetos Programación (Software) Ingeniería de Software - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional Matemáticas
On-line přístup:	Ver documento en línea
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!