Automatic Verification of Sequential Infinite-State Processes Autor Olaf Burkart 17 dec 1997 Paperback Preț: 315.05 lei 393.82 lei 43-57 zile -20%