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