2014 - Princeton University Press
E-book PDF (14,08 Mb)
Consultabile solo con Adobe Acrobat Reader (scopri come)
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
284 p.
Special access authorizations may apply; please contact us for further information.
-
Informazioni
ISBN: 9781400864041
MATERIE