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...
| Awduron Corfforaethol: | , |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Trafodyn Cynhadledd Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Cyfres: | (Lecture Notes in Computer Science ;
8461) |
| Pynciau: | |
| Mynediad Ar-lein: | Ver documento en línea |
Rhyngrwyd
Ver documento en línea| Rhif Galw: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 556672-1 |
Disponible
Préstamo en línea
|
Casgliad:
Libros electrónicos en línea
|
Nodiadau:
Consultar en línea
|