Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem Lecture Notes in Computer Science, nr. 1032 Editat de Patrice Godefroid 24 ian 1996 Paperback Preț: 325.48 lei 406.84 lei 6-8 săpt. -20%
