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 / edited by Erika Ábrahám, Catuscia Palamidessi.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8461Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014Descripción: xii, 301 páginas : 75 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783662436134
- QA76.9.L63
Contenidos:
Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction.
No hay ítems correspondientes a este registro
Springer eBooks
Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction.
Para consulta fuera de la UANL se requiere clave de acceso remoto.