Automatic Verification of Sequential Infinite-State Processes Lecture Notes in Computer Science, nr. 1354 Autor Olaf Burkart 17 dec 1997 Paperback Preț: 326.64 lei 408.30 lei 6-8 săpt. -20%
