9789401040846 - quality of communication-based systems: proceedings of an international workshop held at the tu berlin, germany, september 1994 (12 risultati)

Condizione: New. In.

Paperback. Condizione: New.

Condizione: New. pp. x + 195.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: 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.…

Paperback. Condizione: Brand New. 195 pages. 9.25x6.10x0.47 inches. In Stock.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: 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. 208 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems to an in.…

Condizione: New. Print on Demand pp. x + 195.

Condizione: New. PRINT ON DEMAND pp. x + 195.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logicsPerformance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-netsSpecification and analysis of communication protocolsReliability, security and dependability in distributed systemsObject orientation in distributed systems architectureSoftware development and concepts for distributed applicationsComputer network architecture and managementLanguage concepts for distributed systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch.…