Computer-Aided Verification of Coordinating Proc - The Automata-Theoretic Approach
Kurshan, Robert P.
126,05 €(IVA inc.)
- ISBN: 978-0-691-63489-0
- Editorial: Princeton University Press
- Encuadernacion: Cartoné
- Páginas: 284
- Fecha Publicación: 31/05/2016
- Nº Volúmenes: 1
- Idioma: Inglés