Autorenfreundlich Bücher kaufen?!
Beschreibung
- Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
- Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets
- Specification and analysis of communication protocols
- Reliability, security and dependability in distributed systems
- Object orientation in distributed systems architecture
- Software development and concepts for distributed applications
- Computer network architecture and management
- Language concepts for distributed systems.
Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Details
| Verlag | Springer Netherland |
| Ersterscheinung | 14. Oktober 2012 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 341 Gramm |
| Format | Softcover |
| ISBN-13 | 9789401040846 |
| Seiten | 195 |