Theoretical and Practical Aspects of SPIN Model Checking Editat de Dennis Dams et al. 8 sep 1999 Paperback Preț: 334.59 lei 418.24 lei 6-8 săpt. -20%
