Browse
FAQ

Author

Elie Najm

3 books found

Cover of Formal Techniques for Networked and Distributed Systems - Forte 2006

Formal Techniques for Networked and Distributed Systems - Forte 2006

Elie Najm,Jean-Francois Pradat-Peyre,V. Ronique Vigui Donzeau-Gouge · First published 2008

Cover of Formal techniques for networked and distributed systems

Formal techniques for networked and distributed systems

Elie Najm · First published 2006

Cover of Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

Elie Najm, Uwe Nestmann, Perdita Stevens · First published 2003