Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Patrocinado Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Encontrar otras opciones disponibles:
Back Market ES 
| Identificadores | |
|---|---|
| ISBN | Kurshan, Robert P. 0691634890 |
| Dimensiones / Peso | |
| Características principales | |
Kurshan, Robert P.
