Name: Formal Methods for Open Object-Based Distributed Systems
Author: Gilles Barthe
ISBN: 9783540688624

0

null

Page Count:
258

Publication Date:
2008-01-01

Science

No comments yet. Be the first to share your thoughts!