Computer Aided Verification Editat de Gerard Berry et al. 4 iul 2001 Paperback Preț: 635.74 lei 794.67 lei 43-57 zile -20%
STACS 92 Editat de Alain Finkel et al. 4 feb 1992 Paperback Preț: 641.51 lei 801.90 lei 43-57 zile -20%
STACS 93 Editat de Patrice Enjalbert et al. 19 feb 1993 Paperback Preț: 646.63 lei 808.29 lei 43-57 zile -20%
Reachability Problems Editat de Alain Finkel et al. 17 aug 2012 Paperback Preț: 287.79 lei 359.74 lei 43-57 zile -20%