2014 - Princeton University Press
eBook PDF (14,08 Mb)
Nur mit Adobe Acrobat Reader kompatibel (lesen Sie mehr)
Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
284 p.
Special access authorizations may apply; please contact us for further information.
-
Informationen
ISBN: 9781400864041
THEMENBEREICHE