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ț: 313.10 lei 391.37 lei 6-8 săpt. -20%
