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. 0691606056 |
| Dimensiones / Peso | |
| Características principales | |
| Edición | 1ª Julio de 2014 |
| Editorial | JOHN WILEY & SONS LTD. |
| Idiomas | INGLES |
| ISBN | 9780691606057 |
| Páginas | 284 |
Kurshan, Robert P.
