Automatic Verification of Sequential Infinite-State Processes Autor Olaf Burkart 17 dec 1997 Paperback Preț: 315.05 lei 393.82 lei 6-8 săpt. -20%