Distributed Systems: Methods and Tools for Specification. An Advanced Course by
68,59 €
Basic concepts. - A graph model based approach to specifications. - Formal foundation for specification and verification. - Language constructs for distributed programs. - The argus language and system.
Jetzt bei Ebay:
