2014 - Princeton University Press
E-book PDF (14,08 Mb)
Pris en charge uniquement par Adobe Acrobat Reader (voir détails)
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
284 p.
Special access authorizations may apply; please contact us for further information.
-
Informations
ISBN: 9781400864041
COLLECTION
DISCIPLINES