Formal Methods for Open Object-based Distributed Systems: Volume 1 by Elie Najm
213,25 €
By Elie Najm, Jean-Bernard Stefani. Edited by Elie Najm. Types and behaviour. Case studies I. Actors. Open distributed processing I. Case studies II. Object and process calculi. Specification and design distributed systems.
Jetzt bei Ebay:
