(2 resultados)
Ordenar por
ordenar por...
37,86€(IVA inc.)
Computer Aided Verification of Coordinating Processes - the Automata-Theoretic Approach
- Kurshan, Robert P
- 978-0-691-60605-7
- 2014-07-01
126,05€(IVA inc.)
Computer-Aided Verification of Coordinating Proc - The Automata-Theoretic Approach
- Kurshan, Robert P.
- 978-0-691-63489-0
- 2016-05-31