Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers Lecture Notes in Computer Science, nr. 2791 Editat de Kim G. Larsen et al. 8 apr 2004 Paperback Preț: 381.63 lei 6-8 săpt.