Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach
Autor Robert P. Kurshan
30 iun 2014
Paperback
Preț: 443.76 lei
6-8 săpt.
Cărți de Robert P. Kurshan
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ț: 382.53 lei
6-8 săpt.