Formal Methods for Open Object-based Distributed Systems: Volume 2 by Howard Bow
213,25 €
List of referees. Part Two: Concurrent OO specification and programming. Part Three: Actors. Part Four: Distributed systems: ODP and CORBA (I). Part Six: Formal specification (I). Part Seven: Subtyping and inheritance.
Jetzt bei Ebay: