Computer-Aided Verification
Editat de Edmund M. Clarke et al.
2 oct 1991
Paperback
Preț: 381.74 lei
6-8 săpt.
Cărți de Robert P. Kurshan
Verification of Digital and Hybrid Systems
Editat de M. Kemal Inan et al.
30 sep 2011
Paperback
Preț: 634.91 lei 793.64 lei
6-8 săpt.
-20%
Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
19 apr 2016
Hardback
Preț: 970.89 lei 1260.90 lei
6-8 săpt.
-23%