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