Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach
Autor Robert P. Kurshan
30 iun 2014
Paperback
Preț: 459.57 lei
43-57 zile
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
43-57 zile
-23%
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Editat de Edmund M. Clarke et al.
2 oct 1991
Paperback
Preț: 378.78 lei
43-57 zile
Verification of Digital and Hybrid Systems
Editat de M. Kemal Inan et al.
30 sep 2011
Paperback
Preț: 626.71 lei 783.38 lei
43-57 zile
-20%