Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach
Autor Robert P. Kurshan
30 iun 2014
Paperback
Preț: 459.57 lei
6-8 săpt.
Cărți de Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
19 apr 2016
Hardback
Preț: 930.38 lei 1208.29 lei
6-8 săpt.
-23%