Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings Lecture Notes in Computer Science, nr. 2057 Editat de Matthew Dwyer 2 mai 2001 Paperback Preț: 327.47 lei 409.34 lei 6-8 săpt. -20%
