Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Marca: Kurshan, Robert P.
ISBN: 0691634890
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información